%0 Journal Article %A Havel, Ivan M. %T Finite branching automata %J Kybernetika %D 1974 %P -302 %V 10 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/KYB_1974__10_4_a0/ %G en %F KYB_1974__10_4_a0