Hildebrandt, T. T. and Sassone, V. (1996) “Comparing Transition Systems with Independence and Asynchronous Transition Systems”, BRICS Report Series, 3(18). doi: 10.7146/brics.v3i18.19980.