Mukund, M. “Transition System Models for Concurrency”. DAIMI Report Series, vol. 21, no. 399, June 1992, doi:10.7146/dpb.v21i399.6633.