Safe procedural implementations of algebraic types

This publication has 4 references indexed in Scilit:

• The Multiple Assignment Statement
  IEEE Transactions on Software Engineering, 1978
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• Abstract data types and the development of data structures
  Communications of the ACM, 1977
• Some extensions to algebraic specifications
  ACM SIGPLAN Notices, 1977