OPUS: a Formal Approach to Object-Orientation.

Tom Mens, Kim Mens, Patrick Steyaert

Browse the full FM paper archive.