America et al. (1989)
America P., de Bakker J.W., Kok J.N. and Rutten J.J.N.N. (1989)
Denotational semantics of a parallel object-oriented language
Information and Computation, 83(2), pp. 152-205