Παραπομπή σε μορφή APA (7η εκδ.)

Dijkstra, E. W., & Scholten, C. S. (1990). Predicate calculus and program semantics. Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Dijkstra, Edsger Wybe, και Carel S. Scholten. Predicate Calculus and Program Semantics. New York: Springer, 1990.

Παραπομπή σε μορφή MLA (8th εκδ.)

Dijkstra, Edsger Wybe, και Carel S. Scholten. Predicate Calculus and Program Semantics. Springer, 1990.