An observational subset of first-order logic cannot specify the behaviour of a counter (extended abstract)

This publication has 9 references indexed in Scilit:

• Behavioural correctness of data representations
  Science of Computer Programming, 1990
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Acta Informatica, 1988
• On observational equivalence and algebraic specification
  Journal of Computer and System Sciences, 1987
• A kernel language for algebraic specification and implementation extended abstract
  Published by Springer Nature ,1983
• Foundations of Computation Theory
  Published by Springer Nature ,1983
• Data Type Specification: Parameterization and the Power of Specification Techniques
  ACM Transactions on Programming Languages and Systems, 1982
• Observability concepts in abstract data type specification
  Lecture Notes in Computer Science, 1976
• Specification techniques for data abstractions
  IEEE Transactions on Software Engineering, 1975
• A technique for software module specification with examples
  Communications of the ACM, 1972