Combinatory Reduction Systems, volume 127 (1980)

by J W Klop
Venue:of Mathematical Centre Tracts. CWI