Amtoft, T.; Consel, C.; Danvy, O.; Malmkjær, K. The Abstraction and Instantiation of String-Matching Programs. BRICS 2001, 8.