Distributed operational semantics for the object paradigm (1997)

by Grant Malcolm, Corina Cirstea
Venue:Oxford University Computing Laboratory