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

C. A. R. Hoare Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. 1-27 1999 conf/fm/1999-1 World Congress on Formal Methods http://link.springer.de/link/service/series/0558/bibs/1708/17080001.htm db/conf/fm/fm1999-1.html#Hoare99