APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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