Eric C. R. Hehner

• A practical theory of programming
• The logic of programming
• ProTem as a programming language