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. 3-28 http://link.springer.de/link/service/series/0558/bibs/1710/17100003.htm 1999 conf/birthday/1999langmaack Correct System Design db/conf/birthday/langmaack1999.html#Hoare99