This is a textbook on programming with emphasis on specification and proof of programs. It is now out of print, and all rights have reverted to the author, who has decided to make it publicly available as a large downloadable PDF file (about 35 million bytes).
The same file is also available from the Research Showcase at CMU.
(The book was rescanned in October 2011. I believe that there are no longer any missing pages.)
WARNING: Do not reproduce these documents for commercial purposes.
last updated October 18, 2011