Frontiers of infinite treesBruno CourcelleRAIRO. Inform. théor., 12 4 (1978) 319-337DOI: https://doi.org/10.1051/ita/1978120403191
