Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.

C. A. R. Hoare

Browse the full FM paper archive.