Grobauer, Bernd, and Julia Lawall. 2000. “Partial Evaluation of Pattern Matching in Strings, Revisited”. BRICS Report Series 7 (31). https://doi.org/10.7146/brics.v7i31.20165.