Frendrup, Ulrik, and Jesper Nyholm Jensen. “A Complete Axiomatization of Simulation for Regular CCS Expressions”. BRICS Report Series 8, no. 26 (June 4, 2001). Accessed May 1, 2024. https://tidsskrift.dk/brics/article/view/21686.