| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Distributed Systems: Methods and Tools for Specification. An Advanced Course | 978-3-54O-15216-3 (3-54O-15216-4) | 1985 | M.W. Alford · G. Hommel · L. Lamport · B. Liskov · G.P. Mullery · F.B. Schneider |