TY - JOUR AU - Lescanne, Pierre TI - Modèles non déterministes de types abstraits JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1982 SP - 225 EP - 244 VL - 16 IS - 3 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1982__16_3_225_0/ LA - fr ID - ITA_1982__16_3_225_0 ER -