Combinatory reduction systems : introduction and survey (1993)

by V van Oostrom J W Klop, F van Raamsdonk
Venue:TCS