Un modèle fonctionnel des structures de contrôleB. RobinetRAIRO. Inform. théor., 11 3 (1977) 213-236DOI: https://doi.org/10.1051/ita/1977110302131
