The abstraction and instantiation of string-matching programs (2001)

by Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær