Benveniste, M. "Operational Semantics of a Distributed Object-Oriented Language and its Z Formal Specification", TR532, IRISA/INRIA-Rennes.

Languages mentioned

• POLYGOTH {1990}