Elements of computer science - Chandrasekara Sharma, M. (New Delhi, 1996)