Teorie automatů a formálních jazyků /
Sbírka řešených příkladů z teorie automatů a formálních jazyků /
Algebraická teorie automatů /
Teorie konečných automatů /
Albebraická teorie automatů /
Teorie automatů a systémů /
Úvod do teorie konečných automatů /
Seřizování soustružnických automatů.
Čerstvé mlieko z automatu.
Udrzba a opravy soustruznickych automatu
Orientační mechanismy montážních automatů a robotů.
Návrh konečných automatů a syntaktických analyzátorů : [sborník].
Sémantika programovacích jazyků - atributové gramatiky /
Příprava a rozpis výroby na děrnopáskovém automatu SUPERTYPER MULTISELECT.
Úvod do teorie vyučování českému jazyku /
Teorie a praxe vyučování českému jazyku na gymnáziu.
Zpracování textu v několika návrhových verzích na dérnopáskovém automatu SUPERTYPER ADVOCATE.
Příručka pro obsluhu a seřizování automatů "Škoda" A 12, A 20, A 40.
Automaty a gramatiky /
Svétem jazyků /
Mathematical foundations of computer science 1981 : 10th symposium, Štrbské pleso, Czechoslovakia, August 31 - September 4, 1981 : proceedings /