A practical example of the specification of abstract data types

This publication has 10 references indexed in Scilit:

• The ANSI/X3/SPARC DBMS framework report of the study group on database management systems
  Information Systems, 1978
• Some remarks on abstract data types
  ACM SIGPLAN Notices, 1977
• Abstract data types and the development of data structures
  Communications of the ACM, 1977
• Two views of data abstraction
  Communications of the ACM, 1977
• Some extensions to algebraic specifications
  ACM SIGPLAN Notices, 1977
• An algebra of quotient relations
  Published by Association for Computing Machinery (ACM) ,1977
• Data abstractions for data bases
  ACM SIGPLAN Notices, 1976
• Specification techniques for data abstractions
  IEEE Transactions on Software Engineering, 1975
• Programming with abstract data types
  ACM SIGPLAN Notices, 1974
• A relational model of data for large shared data banks
  Communications of the ACM, 1970