Of course, if you find this article interesting, look at CTM (Peter Van Roy and Seif Haridi's _Concepts, Techniques, and Models of Computer Programming_ (http://www.info.ucl.ac.be/~pvr/book.html)) The papers it links to are excerpts from the book.

One of the best books on programming I've ever seen, IMHO.