Pascal-m

Pascal-m

["Pascal-m: A Language for Loosely Coupled DistributedSystems", S. Abramsky et al in Distributed Computing Systems,Y. Paker et al eds, Academic Press 1986, pp. 163-189].