(1986). Formale Methoden in der Systementwicklung. Forkel.
Chicago-Zitierstil (17. Ausg.)Formale Methoden in Der Systementwicklung. Stuttgart: Forkel, 1986.
MLA-Zitierstil (9. Ausg.)Formale Methoden in Der Systementwicklung. Forkel, 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.