Note sur la sémantique des structures de contrôleP. SalléRAIRO. Inform. théor., 13 2 (1979) 185-188DOI: https://doi.org/10.1051/ita/1979130201851
