| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Proof in Vdm: A Practitioner's Guide | 978-0-387-19813-2 | 1995 | Juan C. Bicarregui | |
| Proof in VDM: A Practitioner's Guide | 978-3-540-19813-0 | 1993 | Juan C. Bicarregui · Peter A. Lindsay · Richard Moore · Brian Ritchie | |
| Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings | 978-3-540-85761-7 | 2008 | ||
| Validated Designs for Object-oriented Systems | 978-1-85233-881-7 | 2005 | Peter Gorm Larsen · Paul Mukherjee · Nico Plat · Marcel Verhoef | |
J. F. · J. Fitzgerald · J. S. · John F. · John Fitzgerald · John S.