Liste des citations dans Numdam pour : Définitions récursives par cas

RAIRO. Informatique théorique, Tome 18 (1984) no. 2, pp. 91-129.

Durieux, J.-L. ; Saint-James, E.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 2, pp. 173-226.