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