B. Grobauer and J. L. Lawall, “Partial Evaluation of Pattern Matching in Strings, revisited”, BRICS, vol. 7, no. 31, Jun. 2000.