A Practical Theory of Programming (1993)

by E C R Hehner