Modular algebraic specification of some basic geometrical constructions

This publication has 10 references indexed in Scilit:

• An algebraic model of sybtypes in object-oriented languages (draft)
  ACM SIGPLAN Notices, 1986
• Extensions and foundations of object-oriented programming
  ACM SIGPLAN Notices, 1986
• Refutational theorem proving using term-rewriting systems
  Artificial Intelligence, 1985
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Final algebra semantics and data type extensions
  Journal of Computer and System Sciences, 1979
• Abstract data types and the development of data structures
  Communications of the ACM, 1977
• On the criteria to be used in decomposing systems into modules
  Communications of the ACM, 1972