B. Grobauer og J. L. Lawall, “Partial Evaluation of Pattern Matching in Strings, revisited”, BRICS, bd. 7, nr. 31, jun. 2000.