Ager, M. S., Danvy, O. and Rohde, H. K. (2002) “On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluation”, BRICS Report Series, 9(32). doi: 10.7146/brics.v9i32.21747.