1. ADJ "Initial algebra semantics and continuous algebras", J. of ACM, 24, 1, pp. 68–95 (1977)
2. J. Arsac, Y. Kodratoff "Some methods for transformation of recursive procedures into iterative ones", LITP Report, Université Paris VI (1979)
3. D. Begay, L. Kott "Preuve de programme sans induction", 5th Coll. de Lille, Rapport de l'Université de Poitiers (1980)
4. G. Boudol, L. Kott "Recursion induction principle revisited", submitted to TCS (1980)
5. R. Burstall, J. Darlington "A transformation system for developping recursive programs", J. of ACM, 24, 1, pp. 44–67 (1977)