Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Arbeitspapiere der GMD Nr. 55, September 1983.
Also in: Denvir, B.T.; Harwood, W.T.; Jackson, M.I.; Wray, M.J.: Lecture Notes in Computer Science, Vol. 207: The Analysis of Concurrent Systems, pages 1-26 pp.. Springer-Verlag, 1985. Abridged version.