Just wanted to add my recommendation for Concepts, Techniques, and Models of Computer Programming" by Peter van Roy and Seif Haridi. This is an amazingly thoro

Just wanted to add my recommendation for Concepts, Techniques, and Models of Computer Programming" by Peter van Roy and Seif Haridi. This is an amazingly thorough, comprehensive and erudite work. Highly recommended.