Goldberg, Mayer. “Solving Equations in the Lambda-Calculus Using Syntactic Encapsulation”. BRICS Report Series 2, no. 49 (June 19, 1995). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/19950.