Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling