Définitions récursives par casB. Courcelle and F. LavandierRAIRO. Inform. théor., 18 2 (1984) 91-129DOI: https://doi.org/10.1051/ita/1984180200911
