1. Barendregt, H.P. 1981 The Lambda Calculus: Its Syntax And Semantics. Studies in Logic, vol. 103, North Holland, New York (1981), xiv+615pp.
2. Berry, G. and Curien, P.L. 1981 Sequential algorithms on concrete data structures. Report of Ecole Nationale Supérience des Mines de Paris, Centre de Mathematiques Appliquées, Sophia Antipolis (1981).
3. Engeler, E. 1979 Algebras and combinators. Berichte des Instituts fur Informatik, Nr. 32, ETH Zurich, 12pp.
4. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D.S. 1980 A Compendium of Continuous Lattices. Springer-Verlag (1980), 371 pp.
5. Lecture Notes in Computer Science;Michael J. Gordon,1979