FREE eBook: a Practical Theory of Programming

a Practical Theory of Programming: "You can download the book in four parts, in your choice of pdf or ps format, from the left column below.
You can also download the lecture visuals, in pdf format, from the right column below."