Concepts, techniques and models of computer programming (draft)

http://www.info.ucl.ac.be/people/PVR/booksingle.pdf