Peter Dybjer
-
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering