Sémantique des structures de contrôleBernard Robinet and François NozickRAIRO. Inform. théor., 11 1 (1977) 63-74DOI: https://doi.org/10.1051/ita/1977110100631
