In: Brauer, W.: Lecture Notes in Computer Science, Vol. 84: Net Theory and Applications, Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979, pages 261-276. Berlin, Heidelberg, New York: Springer-Verlag, 1980.
Also: University of Newcastle upon Tyne, Computing Laboratory, Technical Report 148, January 1980.