Complementing unary nondeterministic automata. - Filippo Mera; Giovanni Pighizzini (Theor. Comput. Sci., 2005)