Elements of the theory of computation - Lewis, Harry R.; Papadimitriou, Christos H. (Delhi Pearson Education (Singapore), 1998)
Keywords: Machine theory; Computational complexity; Logic, Symbolic and mathematical; Formal languages