Ager, M. S.; Danvy, O.; Rohde, H. K. On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluation. BRICS 2002, 9.