Teorie automatů - Bělohoubek, Pavel (Učební texty vysokých škol, 1989)