John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman – Part One: Automata and Languages, kapittel 1–2, ss.29–122. Seksjon 4.1: Decidable Languages, ss.152–159. Seksjon 5.1: Undecidable Problems from Language Theory, ss.172–183.