["Pascal-m: A Language for Loosely Coupled Distributed

Systems", S. Abramsky et al in Distributed Computing Systems,

Y. Paker et al eds, Academic Press 1986, pp. 163-189].