Francesco Parisi-Presicce;Alfonso Pierantonio
-;-
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)