Frendrup, U.; Jensen, J. N. A Complete Axiomatization of Simulation for Regular CCS Expressions. BRICS 2001, 8.