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. Bulletin of the EATCS, 45:85-97, 1991.

Abstract

Abstract is missing.