(1)
Danvy, O.; Rohde, H. K. On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation. BRICS 2005, 12.