H. D. Ehrich;A. Sernadas;C. Sernadas
-;-;-
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering