Sipser, M. Introduction to theory of computation - Boston Brooks/Cole-Thomson Learning 1997 - xv, 396p. ISBN: 981-240-226-8