1. Beckmann, A., Weiermann,A.: A term rewriting characterization of the polytime functions and related complexity classes.Archive for Mathematical Logic36: 11-30, 1996.
2. A Uniform Approach to Fundamental Sequences and Hierarchies
3. Cardone, F., Hindley, J.R.: History ofλ-Calculus and Combinatory Logic. To appear in: Gabbay, D.M., Woods, J. (eds.)Handbook of the History of Logic, vol. 5, Elsevier.
4. Term rewriting theory for the primitive recursive functions