Proceedings of the Pittsburgh seminar on concurrency - Roscoe, A; Brookes, S; Winskel, G (LNCS, 1985)