| Année | Titre | Éditeur | Pages |
|---|---|---|---|
| 1994 | La spécification formelle avec Z | Teknea | 191 |
Auteurs ayant un livre paru la même année chez un éditeur de David Lightfoot.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Paul Smigielski | Teknea (1994) | 1 |
| Henri Habrias | Teknea (1994) | 1 |
| Jean-Raymond Abrial | Teknea (1994) | 1 |