J. Srba, “On the Power of Labels in Transition Systems”, BRICS, bd. 8, nr. 19, jun. 2001.