Tomás Vojnar: Efficient Algorithms for Handling Nondeterministic Automata. SOFSEM 2011: 73