Important Links
Machine generated authority record.
Work cat.: (OSt)11859: Dijkstra, Edsger W, Predicate calculus and program semantics, 1990.