Tools for the design and implementation of distributed systems. - Gunn Skogseth; Hanne Larsen (ACM SIGOPS European Workshop, 1986)