J. Srba, “On the Power of Labels in Transition Systems”, BRICS, vol. 8, no. 19, Jun. 2001.