U. Frendrup and J. N. Jensen, “A Complete Axiomatization of Simulation for Regular CCS Expressions”, BRICS, vol. 8, no. 26, Jun. 2001.