Nondeterministic regular expressions as solutions of equational systems (2003)

by R De Nicola, A Labella
Venue:Theor. Comput. Sci