Elements of computer science (New Delhi Narosa, 1996)