Henri Habrias L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état. 79-98 1996 conf/inforsid/1996 INFORSID db/conf/inforsid/inforsid1996.html#Habrias96