Theory of computer science - Mishra, K.L.P (Prentice-Hall of India, 1993)