The authors propose the use of ASMs to specify
the formal semantics of object-oriented data models,
considering in particular the semantics of object creation,
overriding and dynamic binding, and inheritance at the
type level (type specialization) and instance level (object
specialization).