Grobauer, B.; Lawall, J. L. Partial Evaluation of Pattern Matching in Strings, Revisited. BRICS 2000, 7.