1. Structure and Interpretation of Computer Programs;ABELSON,1985
2. ABRAMSKY, S., D.M. GABBAI and T.S.E. MAIBAUM, eds., Handbook of Logic in Computer Science (Oxford University Press, Oxford, to appear).
3. AUGUSTSSON, L., A compiler for lazy ML, in: Proc. ACM Symp. on LISP and Functional Programming (1984) 218–227.
4. Can programming be liberated from the von Neumann style? A functional style and its algebra of proofs;BACKUS;Comm. ACM,1978