Directable nondeterministic automata - Imreh Balázs (1999)