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