Sémantique des structures de contrôle Bernard Robinet; François Nozick — 1977 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications