Synthesis of a nondeterministic automaton from its logical specification. I
scientific article; zbMATH DE number 921653