Corradini, Flavio and De Nicola, Rocco and Labella, Anna  Models of Nondeterministic Regular Expressions.  Journal of Computer and System Sciences, 59 (3).  pp. 412-449.  ISSN 0022-0000      (1999)