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