M. Mukund, “Transition System Models for Concurrency”, DPB, bd. 21, nr. 399, jun. 1992.