Amtoft, Torben, Charles Consel, Olivier Danvy, and Karoline Malmkjær. “The Abstraction and Instantiation of String-Matching Programs”. BRICS Report Series 8, no. 12 (April 12, 2001). Accessed March 28, 2024. https://tidsskrift.dk/brics/article/view/20469.