Nondeterminism and fully abstract modelsEgidio Astesiano and Gerardo CostaRAIRO. Inform. théor., 14 4 (1980) 323-347DOI: https://doi.org/10.1051/ita/1980140403231
