Proof of correctness of data representations (1972) | Heykuki News