Combinatory reduction systems - Klop, J. W. (Amsterdam Mathematisch Centrum, 1980)
Keywords: Combinatory logic; Recursion theory