Combinatory reduction systems: introduction and survey (1993)

by J W Klop, V van Oostrom, F van Raamsdonk
Venue:Theoretical Computer Science, 121(1 & 2):279–308