Mathematical Theory of Partial Correctness. AIM-139.

purl.stanford.edu/pz755rh3300