Grobauer, Bernd, and Julia Lawall. “Partial Evaluation of Pattern Matching in Strings, Revisited”. BRICS Report Series 7, no. 31 (June 1, 2000). Accessed December 4, 2020. https://tidsskrift.dk/brics/article/view/20165.