A Class of Program Schemes Based on Tree Rewriting Systems. - Bruno Courcelle; F. Lavandier (CAAP, 1983)

Définitions Récursives Par Cas. - Bruno Courcelle; F. Lavandier (RAIRO Theor. Informatics Appl., 1984)