B. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings. Lecture Notes in Computer Science 207, Springer 1985, ISBN 3-540-16047-7