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