Julia L. Lawall

Bernd Grobauer and Julia L. Lawall. Partial Evaluation of Pattern Matching in Strings, revisited. Nordic Journal of Computing, 8(4):437-462, Winter 2001. Abstract, References, etc.