APA stil citiranja

Bjorner, D. (1982). Formal specification and software development: Formal specification and software development (1. izd.). Prentice-Hall Inc.

Chicago stil citiranja

Bjorner, Dines. Formal specification and software development: Formal specification and software development. 1. izd. Prentice-Hall Inc, 1982.

MLA stil citiranja

Bjorner, Dines. Formal specification and software development: Formal specification and software development. 1. izd. Prentice-Hall Inc, 1982.