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