GSBL: An Algebraic Specification Language Based on Inheritance

This publication has 10 references indexed in Scilit:

• Initially — Restricting algebraic theories
  Published by Springer Nature ,2005
• Reusability: The Case for Object-Oriented Design
  IEEE Software, 1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984
• On hierarchies of abstract data types
  Acta Informatica, 1983
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• The semantics of clear, a specification language
  Published by Springer Nature ,1980