Nondeterminism versus determinism of finite automata over directed acyclic graphs. Potthoff, Andreas; Seibert, Sebastian; Thomas, Wolfgang — 1994 Bulletin of the Belgian Mathematical Society - Simon Stevin