Semantics of Partial Correctness Formalisms (1974)

by J S Schwarz