| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings | 978-3-54O-62717-3 (3-54O-62717-O) | 1997 | Jonathan P. Bowen · David Till |
H.G. · H. M. · H. M. G. · M G*** · Michael G. · Michael G. Hinchey