An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract)

@inproceedings{Gries:ICSE76,
  author    = {David Gries},
  title     = {An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs {(Abstract)}},
  booktitle = {ICSE},
  pages     = {200},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}