Finite Branching Automata: Automata Theory Motivated by Problem Solving.

Ivan M. Havel

Browse the full MFCS paper archive.