The method of forcing for nondeterministic automata (1987)

by R Szelepcsényi
Venue:Bull. of the EATCS