The System for Business Automation (SBA): Programming language Moshe M. Zloof, S. Peter de Jong Available in: PDF Published in March 1976 (Vol.8 No.2)
Data abstractions for data bases Michael Hammer Available in: PDF Published in March 1976 (Vol.8 No.2)
Some desirable properties of data abstraction facilities J. J. Horning Available in: PDF Published in March 1976 (Vol.8 No.2)
Toward foundations for the understanding of type Douglas T. Ross Available in: PDF Published in March 1976 (Vol.8 No.2)
Correctness of data representations (Extended Abstract): Pointers in high level languages D. M. Berry, Z. Erlich, C. J. Lucena Available in: PDF Published in March 1976 (Vol.8 No.2)
DIAM II: The binary infological level and its database language – FORAL Michael E. Senko Available in: PDF Published in March 1976 (Vol.8 No.2)
Some ideas on data types in high level languages David Gries, Narain Gehani Available in: PDF Published in March 1976 (Vol.8 No.2)
Towards the construction of verifiable software systems L. Flon, A. N. Habermann Available in: PDF Published in March 1976 (Vol.8 No.2)
Abstract types defined as classes of variables D. L. Parnas, John E. Shore, David Weiss Available in: PDF Published in March 1976 (Vol.8 No.2)
A high-level data manipulation language for hierarchical data structures Barron C. Housel, Nan C. Shu Available in: PDF Published in March 1976 (Vol.8 No.2)
