books.google.com - CONCRETE ABSTRACTIONS offers students a hands-on, abstraction-based experience of thinking like a computer scientist. This text covers the basics of programming and data structures, and gives first-time computer science students the opportunity to not only write programs, but to prove theorems and analyze...http://books.google.com/books/about/Concrete_abstractions.html?id=yYyVRueWlZ8C&utm_source=gb-gplus-shareConcrete abstractions
