Concepts, techniques, and models of computer programming / by Peter Van Roy ; Seif Haridi. Cambridge, Mass. [u.a.] : MIT Press, 2004