Semantics of partial correctness formalisms (1974)

by J S Schwarz