TY - BOOK AU - Peter Van Roy AU - Seif Haridi TI - Concepts, techniques, and models of computer programming SN - 978-0-262-22069-9 U1 - 005.1ROY PY - 2004/// CY - Cambridge PB - The MIT Press ER -