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