Combinatory reduction systems - Klop, Jan Willem 1945- (1980)