APA-Zitierstil (7. Ausg.)
Bjorner, D., & Oest, O. (1980). Towards a formal description of Ada. Springer.
Chicago-Zitierstil (17. Ausg.)
Bjorner, D., und O.N Oest. Towards a Formal Description of Ada. Berlin: Springer, 1980.
MLA-Zitierstil (9. Ausg.)
Bjorner, D., und O.N Oest. Towards a Formal Description of Ada. Springer, 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.