Bjørner, D., & Oest, O. N. (1980). Towards a formal description of Ada. Springer-Verlag.
Chicago-referens (17:e uppl.)Bjørner, D., och O. N. Oest. Towards a Formal Description of Ada. Berlin ; New York: Springer-Verlag, 1980.
MLA-referens (8:e uppl.)Bjørner, D., och O. N. Oest. Towards a Formal Description of Ada. Springer-Verlag, 1980.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.