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. [Počet ex. : 15, z toho voľných 15, prezenčne 0]