M. Goldberg, “Solving Equations in the lambda-Calculus using Syntactic Encapsulation”, BRICS, bd. 2, nr. 49, jun. 1995.