Ager, M. S., Danvy, O. and Rohde, H. K. (2003) “Fast Partial Evaluation of Pattern Matching in Strings”, BRICS Report Series, 10(20). doi: 10.7146/brics.v10i20.21790.