1. S. Abramsky, C.H.L. Ong, Full Abstraction in the Lazy Lambda Calculus, Research Rep., Dept. of Comp., Imperial College 1989.
2. E.A. Ashcroft, M.C.B. Hennessy, “A mathematical Semantics for a Nondeterministic Typed Lambda Calculus”, TCS 11, 1980.
3. E. Astesiano, G. Costa “Distributive Semantics for Nondeterministic Typed λcalculi”, TCS 32, 1984.
4. H.P. Barendregt, The Lambda-Calculus: Its Syntax and Semantics, North-Holland, 1984.
5. C. Böhm, “Alcune proprieta' delle forme β-gh-normali nel λ-K-calcolo”, Pubblicazioni dell' I.A.C. n. 696, Roma 1968.