[rbolkey]

I think you're confusing the wrong Boyer. Robert Boyer is the namesake for Boyer-Moore. https://en.wikipedia.org/wiki/Robert_S._Boyer

[b7r6]

You are correct. Thank you for straightening me out, and for linking to a good resource.