The ideal of verified software - HOARE, Tony (Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006), 2006)
text