Nielsen, Mogens, og Thomas S. Hune. “Timed Bisimulation and Open Maps”. BRICS Report Series 5, no. 4 (januar 4, 1998). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/19277.