From information requirements to DBTG-data structures J. A. Bubenko, S. Berild, E. Lindencrona-Ohlin, S. Nachmens Available in: PDF Published in March 1976 (Vol.8 No.2)
A technique for implementing a set processor W. T. Hardgrave Available in: PDF Published in March 1976 (Vol.8 No.2)
Programming without pointer variables Richard B. Kieburtz Available in: PDF Published in March 1976 (Vol.8 No.2)
On the use of bit maps for multiple key retrieval Oscar Vallarino 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)
