Concrete Abstractions An Introduction to Computer Science Using Scheme

his 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 algorithms as well.