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