Programming Languages - Allen Tucker (Tata Macgraw-Hill New Delhi, 2002)