A layered semantics for a parallel object-oriented language - America, Pierre; Rutten, Jan (1990)