Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.