David Gries. Educating the Programmer: Notation, Proofs and the Development of Programs. In IFIP Congress. pages 935-944, 1980.
@inproceedings{Gries80, title = {Educating the Programmer: Notation, Proofs and the Development of Programs}, author = {David Gries}, year = {1980}, researchr = {https://researchr.org/publication/Gries80}, cites = {0}, citedby = {0}, pages = {935-944}, booktitle = {IFIP Congress}, }