Proof of Correctness of Data Representations (1972)

by C A R Hoare
Venue:Acta Informatica