Decidable subcases of the equivalence problem for recursive program schemes Bruno Courcelle, Jean H. Gallier (1987) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Définitions récursives par cas B. Courcelle, F. Lavandier (1984) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Deriving programs using higher-order generalization Alberto Pettorossi (1988) Banach Center Publications