Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich

Alford, M. W., Ansart, J.-P., Hommel, G., Lamport, L., Liskov, B., Mullery, G. P., & Schneider, F. B. (1985). Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich. In Advanced Course: Distributed Systems (Vol. 190). Springer.