De Nicola, Rocco and Labella, Anna Nondeterministic regular expressions as solutions of equational systems. Theoretical Computer Science, 302 (1-3). pp. 179-189. ISSN 0304-3975 (2003)