Ager, Mads Sig, Olivier Danvy, and Henning Korsholm Rohde. “On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluation”. BRICS Report Series 9, no. 32 (July 5, 2002). Accessed April 27, 2024. https://tidsskrift.dk/brics/article/view/21747.