CITATION STYLE
Hoare, C. A. R. (1978). Proof of Correctness of Data Representations. In Programming Methodology (pp. 269–281). Springer New York. https://doi.org/10.1007/978-1-4612-6315-9_20
Mendeley helps you to discover research relevant for your work.