Srba, Jirí. “On the Power of Labels in Transition Systems”. BRICS Report Series 8, no. 19 (June 4, 2001). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/21680.