APA Edition Citation

Dijkstra, E. W. (1990). Predicate Calculus And Program Semantics. Springer Verlag.

Chicago Edition Citation

Dijkstra, Edsger W. Predicate Calculus And Program Semantics. Springer Verlag, 1990.

MLA Edition Citation

Dijkstra, Edsger W. Predicate Calculus And Program Semantics. Springer Verlag, 1990.

Warning: These citations may not always be 100% accurate.