Danvy, O., og H. K. Rohde. “On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation”. BRICS Report Series, bd. 12, nr. 29, september 2005, doi:10.7146/brics.v12i29.21896.