Bjørner, D., & Oest, O. N. (1980). Towards a formal description of Ada. Springer-Verlag.
Citace podle Chicago (17th ed.)Bjørner, D., a O. N. Oest. Towards a Formal Description of Ada. Berlin ; New York: Springer-Verlag, 1980.
Citace podle MLA (8th ed.)Bjørner, D., a O. N. Oest. Towards a Formal Description of Ada. Springer-Verlag, 1980.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..