Cita APA (7a ed.)
Dijkstra, E. W., & Scholten, C. S. (1990). Predicate calculus and program semantics. Springer Verlag.
Cita Chicago Style (17a ed.)
Dijkstra, Edsger W., y Carel S. Scholten. Predicate Calculus and Program Semantics. New York: Springer Verlag, 1990.
Cita MLA (9a ed.)
Dijkstra, Edsger W., y Carel S. Scholten. Predicate Calculus and Program Semantics. Springer Verlag, 1990.
Precaución: Estas citas no son 100% exactas.