Combinatory reduction systems - Klop, J. W. (Mathematical Centre tracts, 1980)