A distributed language integrating Classes with a parallel bloCk struCture, inCluding multiproCedures and fragments. ["Operational SemantiCs of a Distributed ObjeCt-Oriented Language and its Z Formal SpeCifiCation", M. Benveniste , TR532, IRISA/INRIA-Rennes]. (1995-10-17)