Proceedings of the 1976 conference on Data: Abstraction, definition and structure