APA stil citiranja

Dijkstra, E. W. (1990). Formal development of programs and proofs: Formal development of programs and proofs (1. izd.). London: Addison-Wesley Publishing Company, Inc.

Chicago stil citiranja

Dijkstra, Edsger W. Formal development of programs and proofs: Formal development of programs and proofs. 1. izd. London: Addison-Wesley Publishing Company, Inc, 1990.

MLA stil citiranja

Dijkstra, Edsger W. Formal development of programs and proofs: Formal development of programs and proofs. 1. izd. London: Addison-Wesley Publishing Company, Inc, 1990.