Concepts, techniques, and models of computer programming - Peter Van Roy and Seif Haridi (Prentice Hall of India, New Delhi, 2004)