Mathematical Theory of Program Correctness (1980)

by J de Bakker
Venue:Series in Computer Science. Prentice-Hall International