Hildebrandt, Thomas Troels, and Vladimiro Sassone. 1997. “Transition Systems With Independence and Multi-Arcs”. BRICS Report Series 4 (10). https://doi.org/10.7146/brics.v4i10.18801.