Elements of the theory of computation - Lewis, Harry R.; Papadimitriou, Christos H. (New Delhi PHI Learning Pvt. Ltd, 1998)
Keywords: Machine theory; Computational complexity; Logic, Symbolic and mathematical