| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| BCS-FACS Nothern 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 | A.S Evans |
| PREMO: A Framework for Multimedia Middleware: Specification, Rationale, and Java Binding | 978-3-540-66720-9 (3-540-66720-2) | 2008 | Ivan Herman · M. Scott Marshall |
D D · D. J. · D.J. Duke · David D. · David Duke · David J. · J.D.