%0 Journal Article %A Lescanne, Pierre %T Modèles non déterministes de types abstraits %J RAIRO. Informatique théorique %D 1982 %P 225-244 %V 16 %N 3 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1982__16_3_225_0/ %G fr %F ITA_1982__16_3_225_0