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. In Grzegorz Rozenberg, Arto Salomaa, editors, Current Trends in Theoretical Computer Science - Essays and Tutorials. Volume 40 of World Scientific Series in Computer Science, pages 183-194, World Scientific, 1993. [doi]

Abstract

Abstract is missing.