Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonk
Combinatory reduction systems : introduction and survey