Παραπομπή σε μορφή APA (7η εκδ.)

Bjørner, D., & Oest, O. N. (1980). Towards a formal description of Ada. Springer-Verlag.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Bjørner, D., και O. N. Oest. Towards a Formal Description of Ada. Berlin ; New York: Springer-Verlag, 1980.

Παραπομπή σε μορφή MLA (8th εκδ.)

Bjørner, D., και O. N. Oest. Towards a Formal Description of Ada. Springer-Verlag, 1980.