1. Abelson, H. and G. J. Sussman [1985] Structure and interpretation of computer programs, (The MIT Press, McGraw-Hill Book Company).
2. Barendregt, H. [1981] The lambda calculus: its syntax and semantics (North-Holland, Amsterdam).
3. Burge, W. H. [1971] Some examples of the use of function-producing functions, in: Proceedings, 2nd ACM symposium on symbolic and algebraic manipulation, pp. 238–241.
4. Burstall, R. M. [1968] Writing search algorithms in functional form, in: Machine intelligence 3, edited by D. Michie, (Edinburgh University Press), pp. 373–385.
5. Church, A. [1941] The calculi of lambda-conversion, Annals of mathematics studies, vol. 6 (Princeton University Press).