Olivier Danvy, Henning Korsholm Rohde: On obtaining the Boyer-Moore string-matching algorithm by partial evaluation. Inf. Process. Lett. 99(4): 158-162 (2006)