Pascal-m - "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.
Pascal-m Programming Language
http://www.programming-languages.co.uk/pascal-m.html
Large list of computer programming languages arranged alphabetically, with explanations.