GOLDBERG, M. Solving Equations in the lambda-Calculus using Syntactic Encapsulation. BRICS Report Series, v. 2, n. 49, 19 Jun. 1995.