Ehler, H. (1985). Making formal specifications readable. Bibliothek d. Fak. für Mathematik u. Informatik, TUM.
Chicago-Zitierstil (17. Ausg.)Ehler, Herbert. Making Formal Specifications Readable. München: Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1985.
MLA-Zitierstil (9. Ausg.)Ehler, Herbert. Making Formal Specifications Readable. Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.