1. and , Combinatory Logic, Vol. 1. Elsevier-North-Holland Publ. Comp., Amsterdam 1958, reprinted 1968 and 1974.
2. , and , Combinatory Logic, Vol. 2. Elsevier-North-Holland Publ. Comp., Amsterdam 1972.
3. Modified basic functionality in combinatory logic
4. , and , Introduction to Combinatory Logic. London Math. Soc. Lecture note n° 7. Cambridge University Press, Cambridge 1972.