Combinatory reduction systems: Introduction and survey (1993)

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