Stepwise specification and implementation of abstract data types

This publication has 8 references indexed in Scilit:

• Data type specification
  Published by Association for Computing Machinery (ACM) ,1978
• Data types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• Observability concepts in abstract data type specification
  Lecture Notes in Computer Science, 1976
• Initial Structured Specifications for an Uncompromisable Computer Security System
  Published by Defense Technical Information Center (DTIC) ,1975
• Programming with abstract data types
  ACM SIGPLAN Notices, 1974
• A technique for software module specification with examples
  Communications of the ACM, 1972
• Proof of correctness of data representations
  Acta Informatica, 1972