Eric G. Wagner
-
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering