Corradini, Flavio and De Nicola, Rocco and Labella, Anna  An Equational Axiomatization of Bisimulation over Regular Expressions.  Journal of Logic and Computation, 12 (2).  pp. 301-320.  ISSN 0955-792X      (2002)