Goldberg, M. (1995) “Solving Equations in the lambda-Calculus using Syntactic Encapsulation”, BRICS Report Series, 2(49). doi: 10.7146/brics.v2i49.19950.