O. Danvy and H. K. Rohde, “On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation”, BRICS, vol. 12, no. 14, Apr. 2005.