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