1. P. Aczel, A general Church–Rosser theorem, preprint, University of Manchester, 1978.
2. Y. Akama, A λ-to-CL translation for strong normalization, in: P.de. Groote, J.R. Hindley (Eds.), Proc. 3rd Internat. Conf. on Typed Lambda Calculi and Applications, TLCA’97, Lecture Notes in Computer Science, vol. 1210, Springer, Berlin, 1997, pp. 1–10.
3. Term Rewriting and All That;Baader,1998
4. The Lambda Calculus, Its Syntax and Semantics;Barendregt,1984
5. H.P. Barendregt, J.A. Bergstra, J.W. Klop, H. Volken, Some notes on lambda-reduction, in: Degrees, Reductions, and Representability in the Lambda Calculus, preprint no. 22, University of Utrecht, Department of Mathematics, 1976, pp. 13–53.