"On commutative asynchronous nondeterministic automata."

Balázs Imreh, Masami Ito, Antal Pukler (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics