T. T. Hildebrandt og V. Sassone, “Transition Systems with Independence and Multi-Arcs”, BRICS, bd. 4, nr. 10, jan. 1997.