Elements of the theory of computation - Lewis, Harry R & Papadimitriou, Christos H (Pearson Education Asia, New Delhi, 2001)