Abstract data types in the Model programming language Robert T. Johnson, James B. Morris 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)
High level domain definition in a relational date base system Dennis J. McLeod 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)
Data abstractions for data bases Michael Hammer 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)
Some desirable properties of data abstraction facilities J. J. Horning Available in: PDF Published in March 1976 (Vol.8 No.2)
A data type encapsulation scheme utilizing base language operators Mark B. Wells, Fred L. Cornwell 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)
Research directions in abstract data structures Mary Shaw Available in: PDF Published in March 1976 (Vol.8 No.2)
