Thank you for the pointer on Concepts, Techniques, and Models of Computer Programming. http://www.info.ucl.ac.be/~pvr/book.html