Bjørner, D., & Oest, O. N. (1980). Towards a formal description of Ada. Springer-Verlag.
Citação do estilo Chicago (17ª ed.)Bjørner, D., e O. N. Oest. Towards a Formal Description of Ada. Berlin ; New York: Springer-Verlag, 1980.
Citação MLA (8ª ed.)Bjørner, D., e O. N. Oest. Towards a Formal Description of Ada. Springer-Verlag, 1980.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.