HOPCROFT, John E. - ULLMAN, Jeffrey D. Formálne jazyky a automaty. [Z angl. orig. prel. Branislav Rovan a Peter Mikulecký]. Bratislava : Alfa, 1978. 342 s. Edícia teoretickej literatúry.