APA(7版)引用形式

Dijkstra, E. W. (1990). Formal development of programs and proofs. Addison-Wesley.

Chicagoスタイル(17版)引用形式

Dijkstra, Edsger Wybe. Formal Development of Programs and Proofs. Reading, Mass: Addison-Wesley, 1990.

MLA(9版)引用形式

Dijkstra, Edsger Wybe. Formal Development of Programs and Proofs. Addison-Wesley, 1990.

警告: この引用は必ずしも正確ではありません.