On completeness of nondeterministic automata
scientific article; zbMATH DE number 794424