Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 - Brookes, S. D. (Stephen D.); Roscoe, A. W.; Winskel, G. (Glynn) (Lecture notes in computer science ;, 1985)