Donald I. Good, Richard M. Cohen, James Keeton-Williams. Principles of Proving Programs Correct in Gypsy. In Barry K. Rosen, Alfred V. Aho, Stephen N. Zilles , editors, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language. pages 42-52, ACM, 1979. [doi]
@inproceedings{GoodC79,
title = {Principles of Proving Programs Correct in Gypsy},
author = {Donald I. Good and Richard M. Cohen and James Keeton-Williams},
year = {1979},
tags = {principles},
researchr = {https://researchr.org/publication/GoodC79},
cites = {0},
citedby = {0},
pages = {42-52},
booktitle = {Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language},
editor = {Barry K. Rosen and Alfred V. Aho and Stephen N. Zilles },
publisher = {ACM},
}