Danvy, O. and Rohde, H.K. 2005. On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation. BRICS Report Series. 12, 14 (Apr. 2005). DOI:https://doi.org/10.7146/brics.v12i14.21880.