Teorie konečných automatů - Volčík, Jaroslav (Praha : České vysoké učení technické, 1990)