Nondeterminism and fully abstract models Egidio Astesiano, Gerardo Costa (1980) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications