Ager, Mads Sig, et al. “Fast Partial Evaluation of Pattern Matching in Strings”. BRICS Report Series, vol. 11, no. 40, Dec. 2004, doi:10.7146/brics.v11i40.21865.