Peter Van Roy and Seif Haridi Concepts, techniques, and models of computer programming - Prentice Hall of India, New Delhi c2004 - xxvii,900p ISBN: 81-203-2685-7 Dewey Class. No.: 001.642 Roy/Har