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