Complementing unary nondeterministic automata
scientific article; zbMATH DE number 2136581
scientific article