C. A. R. Hoare. Proof of correctness of data representation. In Friedrich L. Bauer, Klaus Samelson, editors, Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975. Volume 46 of Lecture Notes in Computer Science, pages 183-193, Springer, 1975.
@inproceedings{Hoare75a, title = {Proof of correctness of data representation}, author = {C. A. R. Hoare}, year = {1975}, tags = {data-flow, C++}, researchr = {https://researchr.org/publication/Hoare75a}, cites = {0}, citedby = {0}, pages = {183-193}, booktitle = {Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975}, editor = {Friedrich L. Bauer and Klaus Samelson}, volume = {46}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-07994-7}, }