Wprowadzenie do teorii obliczeń - Sipser, Michael; Włodarz, Marek Tłumaczenie; Wydawnictwo Naukowe PWN Wydawca (Warszawa PWN, 2020)
Bibliografia na stronach 465-468. Indeks. - Dla studentów informatyki na wszystkich wyższych uczelniach
Keywords: Automaty; Teoria automatów; Teoria obliczalności; Teoria obliczeń; Złożoność obliczeniowa; Podręcznik