| Année | Titre | Éditeur | Pages |
|---|
| Année | Titre | Auteur(s) principal | Éditeur |
|---|---|---|---|
| 1994 | Introduction à la méthode de spécification formelle B | Jean-Raymond Abrial | Teknea |
| 1993 | La méthode GRAI | Michel Roboam | Teknea |
| 1991 | Stablex | Charles Perrault, Thierry Beltran, André Camlong |
| 1991 | Stablex | Charles Perrault, André Camlong | Teknea |