M. Mukund, “Transition System Models for Concurrency”, DPB, vol. 21, no. 399, Jun. 1992.