Ager, M. S., O. Danvy, and H. K. Rohde. “Fast Partial Evaluation of Pattern Matching in Strings”. BRICS Report Series, vol. 10, no. 11, Feb. 2003, doi:10.7146/brics.v10i11.21953.