Operational semantics of a parallel object-oriented language (1985)