Grobauer, B. and Lawall, J. L. (2000) “Partial Evaluation of Pattern Matching in Strings, revisited”, BRICS Report Series, 7(31). doi: 10.7146/brics.v7i31.20165.