Van Roy Concepts, Techniques, and Models of Computer Programming - MIT Press 2004 fulltext Monograph ISBN: 9780262257169 Subjects--Topical Terms: Computing and Processing