M. S. Ager, O. Danvy, and H. K. Rohde, “Fast Partial Evaluation of Pattern Matching in Strings”, BRICS, vol. 10, no. 20, May 2003.