http://cseweb.ucsd.edu/classes/sp05/cse101/JeffEdmondsBook.pdf http://cseweb.ucsd.edu/classes/sp05/cse101/JeffEdmondsBook.p... Jeff Edmonds' "How to Think About

http://cseweb.ucsd.edu/classes/sp05/cse101/JeffEdmondsBook.pdf http://cseweb.ucsd.edu/classes/sp05/cse101/JeffEdmondsBook.p... Jeff Edmonds' "How to Think About Algorithms: Loop Invariants and Recursion" is a nice book.