APA stil citiranja

Bjorner, D., & Oest, O. (1980). Towards a formal description of ADA: Towards a formal description of ADA (1. izd.). Berlin: Springer Verlag.

Chicago stil citiranja

Bjorner, Dines, and O.N Oest. Towards a formal description of ADA: Towards a formal description of ADA. 1. izd. Berlin: Springer Verlag, 1980.

MLA stil citiranja

Bjorner, Dines, and O.N Oest. Towards a formal description of ADA: Towards a formal description of ADA. 1. izd. Berlin: Springer Verlag, 1980.