Two impossibility theorems on behaviour specification of abstract data types

This publication has 12 references indexed in Scilit:

• Observational implementation of algebraic specifications
  Acta Informatica, 1991
• Behavioural correctness of data representations
  Science of Computer Programming, 1990
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Acta Informatica, 1988
• Initial behaviour semantics for algebraic specifications
  Lecture Notes in Computer Science, 1988
• On observational equivalence and algebraic specification
  Journal of Computer and System Sciences, 1987
• Algorithmische Sprache und Programmentwicklung
  Published by Springer Nature ,1984
• A kernel language for algebraic specification and implementation extended abstract
  Published by Springer Nature ,1983
• Limits of the "algebraic" specification of abstract data types
  ACM SIGPLAN Notices, 1977
• Specification techniques for data abstractions
  IEEE Transactions on Software Engineering, 1975
• A technique for software module specification with examples
  Communications of the ACM, 1972