APA stil citiranja

Dijkstra, E. (1990). Formal development of programs and proofs: Formal development of programs and proofs. Reading, Mass.: Addison-Wesley Publishing Co.

Chicago stil citiranja

Dijkstra, Edsger. Formal development of programs and proofs: Formal development of programs and proofs. Reading, Mass.: Addison-Wesley Publishing Co, 1990.

MLA stil citiranja

Dijkstra, Edsger. Formal development of programs and proofs: Formal development of programs and proofs. Reading, Mass.: Addison-Wesley Publishing Co, 1990.

Napomena: Ova citiranost nije uvijek 100% točna.