Proof of correctness of data representations, (1972)

by C A Hoare
Venue:Acta Inform.,