The Formal Design and Analysis of Distributed Data-Processing Systems - Fitzwater, D.R. (University of Wisconsin-Madison Department of Computer Sciences, 1979)