GSBL: an algebraic specification language based on inheritance

An algebraic theory of class specification

ACM Transactions on Software Engineering and Methodology (TOSEM)

The Larch/Smalltalk interface specification language

ACM Transactions on Software Engineering and Methodology (TOSEM)

Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

Forward engineering and UML: from UML static models to Eiffel code

UML and the unified process