C. A. R. Hoare 1-2 http://link.springer.de/link/service/series/0558/bibs/1945/19450001.htm 2000 conf/ifm/2000 IFM db/conf/ifm/ifm2000.html#Hoare00