M. S. Ager, O. Danvy, and H. K. Rohde, “Fast Partial Evaluation of Pattern Matching in Strings”, BRICS, vol. 11, no. 40, Dec. 2004.