| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| BCS-FACS Northern Formal Methods Workshop. Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996 | 978-3-540-76117-4 (3-540-76117-9) | 1997 | C. J. Van Rijsbergen · A. S. Evans |
| "Design, Specification and Verification of Interactive Systems '99": "Proceedings Of The Eurographics Workshop In Braga, Portugal, June 24, 1999" | 978-3-211-83405-3 (3-211-83405-2) | 2013 | |
D D · D. J. · Daniel J. Duke · David J. Duke · Dr. James A. Duke · J.D.