Sipser, Michael Introduction to the theory of computation / - Boston : Brooks/Cole , 2001. - xv+396 ISBN: 9812402268 Subjects--Index Terms: Computer Science Mathematics