1. Abramsky, A., (1989), The Lazy Lambda Calculus. In ”Declarative Programming”. David Turner, editor. Addison-Wesley. To appear.
2. Abramsky, A., Ong C.-H. L. (1989), Full Abstraction in the Lazy Lambda Calculus. To appear.
3. Barendregt, H. (1984), ”The Lambda Calculus: Its Syntax and Semantics”. North-Holland. Amsterdam. 1984.
4. Beeson, M. (1985), “Foundations of Constructive Mathematics”. Springer-Verlag. 1985
5. Berry, G. (1981) ”Some Syntactic and Categorical Constructions of Lambda Calculus Models”. Rapport de Recherche de L'Institut National de Recherche en Informatique et Automatique (INRIA). Rocquancourt. 1981.