| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992: Proceedings | 978-0-387-56496-8 (0-387-56496-9) | 1994 | |
| Concepts for Distributed Systems Design | 978-3-540-12049-0 (3-540-12049-1) | 1983 |
G.B. · G. Bochmann · G. V. · Gregor von Bochmann · V. B.