Proof of correctness of data representation

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},
}