Teorie automatů - Douša, Jiří (České vysoké učení technické v Praze, 1987)