Introduction to combinatory logic - Hindley, J. Roger; Lercher, B.; Seldin, J. P. (Cambridge : University Press, 1972)
Bibliography : p. 157-162.
Keywords: Combinatory logic