Pascal-m

"Pascal-m: A Language for Loosely Coupled Distributed Systems", S. Abramsky et al in Distributed Computing Systems: Synchronization, Control and Communication, Y. Paker et al eds, Academic Press, 1983, pp.163-189.