A Discipline of Programming (Prentice-Hall Series in Automatic Computation) - http://www.goodreads.com/review...