HOPCROFT, John E. - MOTWANI, Rajeev - ULLMAN, Jeffrey D. Introduction to automata theory, languages, and computation. 3rd ed. Boston : Addison-Wesley, c2007. xvii, 535 s. ISBN 978-0-321-45536-9.