Sipser, M. Theory of computation - New Delhi Cengage Learing India Pvt. Ltd., 2007 - 346p. ISBN: 81-315-0513-8