Nondeterminism and fully abstract models Egidio Astesiano, Gerardo Costa (1980) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Note sur la sémantique des structures de contrôle P. Sallé (1979) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications