O. Danvy og H. K. Rohde, “On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation”, BRICS, bd. 12, nr. 14, apr. 2005.