Francesco Parisi-Presicce, Alfonso Pierantonio. Towards the Algebraic Specification of Classes in Object Oriented Programming. Bulletin of the EATCS, 45:85-97, 1991.
No references recorded for this publication.
No citations of this publication recorded.