Pascal−m: a language for the design of loosely coupled distributed systems
S. Abramsky and R. Bornat
Book Title
Distributed Computing Systems: Synchronization‚ Control and Coordination
Editor
Y. Paker and J.−P. Verjus
Pages
163−189
Publisher
Academic Press
Year
1983