An algebraic approach to refinement

This publication has 23 references indexed in Scilit:

• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• Objects, object types, and object identification
  Published by Springer Nature ,1989
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Implementation Specifications
  Published by Springer Nature ,1985
• Universal realization, persistent interconnection and implementation of abstract modules
  Published by Springer Nature ,1982
• Algebraic semantics
  Lecture Notes in Computer Science, 1981
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• The algebraic semantics of recursive program schemes
  Published by Springer Nature ,1978
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935