Trích dẫn kiểu APA (xuất bản lần thứ 7)

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

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

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

Trích dẫn kiểu MLA (xuất bản lần thứ 8)

Bjørner, D., và O. N. Oest. Towards a Formal Description of Ada. Springer-Verlag, 1980.

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.