A Sound and Complete Proof System for Partial Program Correctness.

J. W. de Bakker

Browse the full MFCS paper archive.