Modèles non déterministes de types abstraitsPierre LescanneRAIRO. Inform. théor., 16 3 (1982) 225-244DOI: https://doi.org/10.1051/ita/1982160302251
