Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena. Correctness of Data Representations: Pointers in High Level Languages. In Proceedings of the SIGPLAN 76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976. pages 115-119, ACM, 1976. [doi]
Abstract is missing.