Modèles non déterministes de types abstraits Pierre Lescanne RAIRO. Inform. théor., 16 3 (1982) 225-244 Published online: 01 February 2017 DOI: 10.1051/ita/1982160302251