Theory of computer science - Mishra, K L P & Chandrasekaran, N (Prentice-Hall of India, New Delhi, 2001)