A R Proof of correctness of data representations Acta lnformatica 1 (1972)

by C HOARE