Van-Roy, Peter. Concepts, techniques, and models of computer programming / Peter Van Roy, Seif Haridi. - Cambridge, Mass. : MIT Press, 2004. - xxvii, 900 p. : ill. ; 26 cm. Includes bibliographical references (p. [853]-862) and index. ISBN: 0262220695 9780262220699 LCCN: 2003065140 Nat. Bib. No.: GBA4Z0130 bnb Nat. Bib. Agency Control No.: 009703178 Uk Subjects--Topical Terms: Computer programming. LC Class. No.: QA76.6 / .V36 2004 Dewey Class. No.: 005.1