APA (7th ed.) Citation
Bjorner, D., & Oest, O. (1980). Towards a formal description of Ada. Springer.
Chicago Style (17th ed.) Citation
Bjorner, D., and O.N Oest. Towards a Formal Description of Ada. Berlin: Springer, 1980.
MLA (9th ed.) Citation
Bjorner, D., and O.N Oest. Towards a Formal Description of Ada. Springer, 1980.
Warning: These citations may not always be 100% accurate.