Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 / - Brookes, S. D.; Roscoe, A. W.; Winskel, G. (Springer-Verlag,, 1985)