Marie-Pierre Béal Sylvain Lombardy Jacques Sakarovitch On the Equivalence of -Automata. 397-409 2005 conf/icalp/2005 ICALP http://dx.doi.org/10.1007/11523468_33 db/conf/icalp/icalp2005.html#BealLS05