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