Pascal-m: A Language for Loosely Coupled Distributed Systems (1983)

by S Abramsky, R Bornat
Venue:Distributed Computing Systems