Hildebrandt, T. T., and V. Sassone. “Transition Systems With Independence and Multi-Arcs”. BRICS Report Series, vol. 4, no. 10, Jan. 1997, doi:10.7146/brics.v4i10.18801.