Correctness of Data Representations: Pointers in High Level Languages. - Daniel M. Berry; Z. Erlich; Carlos José Pereira de Lucena (Conference on Data: Abstraction, Definition and Structure, 1976)

Pointers and Data Abstractions in High Level Languages - I: Language Proposals. - Daniel M. Berry; Z. Erlich; Carlos José Pereira de Lucena (Comput. Lang., 1977)