A mechanized model of the theory of objects (2007)

by L Henrio, F Kammüller
Venue:Formal Methods for Open Object-Based Distributed Systems, . LNCS 4468