TY - BOOK AU - Peter Van Roy and Seif Haridi TI - Concepts, techniques, and models of computer programming SN - 81-203-2685-7 U1 - 001.642 Roy/Har PY - 2004/// CY - Prentice Hall of India, New Delhi ER -