Seminar on Concurrency Carnegie-Mellon Univ., Pittsburgh, PA, July 9 - 11, 1984 - Brookes, Stephen D. (Springer, 1985)