Title: Correctness of data representations
First published: 1976