Frendrup, U. and Jensen, J. N. (2001) “A Complete Axiomatization of Simulation for Regular CCS Expressions”, BRICS Report Series, 8(26). doi: 10.7146/brics.v8i26.21686.