M. S. Ager, O. Danvy, og H. K. Rohde, “Fast Partial Evaluation of Pattern Matching in Strings”, BRICS, bd. 10, nr. 20, maj 2003.