D S · Dario Sbarato · Dr. Shepherd
| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| An Introduction to Formal Specification With Z and Vdm | 978-0-07-707907-9 (0-07-707907-8) | 1994 | |
| Robert Le Rossignol: Engineer of the Haber Process | 978-3-030-29713-8 (3-030-29713-6) | 2019 |