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