Towards the Algebraic Specification of Classes in Object Oriented Programming.

Francesco Parisi-Presicce Alfonso Pierantonio Towards the Algebraic Specification of Classes in Object Oriented Programming. 85-97 1991 45 Bulletin of the EATCS db/journals/eatcs/eatcs45.html#PresicceP91