B. Tim Denvir W. T. Harwood M. I. Jackson M. J. Wray The Analysis of Concurrent Systems Lecture Notes in Computer Science 207 Springer 1985 3-540-16047-7 db/conf/acs/acs1983.html