Définitions récursives par cas B. Courcelle; F. Lavandier — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications