TY  - BOOK
ED  - Centre National de la Recherche Scientifique
TI  - Les modeles et la formalisation de comportement
ER  -