Recognizable filters and ideals Václav Benda; Kamila Bendová — 1976 Commentationes Mathematicae Universitatis Carolinae
On families recognizable by finite branching automata Václav Benda; Kamila Bendová — 1977 Kybernetika