Raamsdonk: Combinatory reduction systems: Introduction and survey (1993)

by J W Klop, V van Oostrom, F van
Venue:Theoretical Computer Science