Ager, M. S., Danvy, O. and Rohde, H. K. (2004) “Fast Partial Evaluation of Pattern Matching in Strings”, BRICS Report Series, 11(40). doi: 10.7146/brics.v11i40.21865.