Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs" | IEEE Journals & Magazine | IEEE Xplore