1. Baader, F., Nipkow, T.: Term Rewriting and all that. CUP (1988)
2. Dershowitz, N.: Terese: Term Rewrite Systems. CAMTCS, vol. 55. CUP (2003)
3. Barendregt, H.P.: The Lambda Calculus, its Syntax and Semantics, Revised edn. Studies in Log. and the Found. of Math. North-Holland, vol. 103 (1984)
4. Klop, J.W.: Combinatory reduction systems. PhD thesis, Utrecht University (1980)
5. Klop, J.W., van Oostrom, V., van Raamsdonk, F.: Combinatory reduction systems: Introduction and survey. Theor. Comp. Sci. 121, 279–308 (1993)