Proof of Correctness of Data Representations
C.A.R. Hoare
Journal
Acta Informatica
Number
4
Pages
271–281
Volume
1
Year
1972
C.A.R. Hoare