Frendrup, Ulrik, og Jesper Nyholm Jensen. “A Complete Axiomatization of Simulation for Regular CCS Expressions”. BRICS Report Series 8, no. 26 (juni 4, 2001). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/21686.