T. Amtoft, C. Consel, O. Danvy, and K. Malmkjær, “The Abstraction and Instantiation of String-Matching Programs”, BRICS, vol. 8, no. 12, Apr. 2001.