U. Frendrup og J. N. Jensen, “A Complete Axiomatization of Simulation for Regular CCS Expressions”, BRICS, bd. 8, nr. 26, jun. 2001.