@book{Garey_Johnson_1979, address={New York}, title={Computers and intractability: a guide to the theory of NP-completeness}, volume={A series of books in the mathematical sciences}, publisher={W. H. Freeman}, author={Garey, Michael R. and Johnson, David S.}, year={1979} }
@book{Harry R. Lewis_1998, address={Upper Saddle River, N.J}, title={Elements of the theory of computation}, publisher={Prentice-Hall}, author={Harry R. Lewis}, year={1998} }
@book{Hopcroft_Motwani_Ullman_2003, title={Introduction to Automata Theory, Languages, and Computation}, publisher={Pearson Education}, author={Hopcroft, John. E and Motwani, Rajeev and Ullman, Jeffrey D}, year={2003} }
@book{Rayward-Smith_1986, address={Oxford}, title={A first course in computability}, volume={Computer science texts}, publisher={Blackwell Scientific}, author={Rayward-Smith, V. J.}, year={1986} }
@book{Sipser_2013, address={Australia}, edition={3rd ed., International ed}, title={Introduction to the theory of computation}, publisher={Cengage Learning}, author={Sipser, Michael}, year={2013} }