Corradini, Flavio and De Nicola, Rocco and Labella, Anna  A finite axiomatization of nondeterministic regular expressions.  RAIRO - Theoretical Informatics and Applications, 33 (4/5).  pp. 447-466.       (1999)