Principles of Proving Programs Correct in Gypsy.

Donald I. Good, Richard M. Cohen, James G. Keeton-Williams

Browse the full POPL paper archive.