F. Parisi-Presicce
-
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)