a Grand Challenge for Computing Research
2004 Hoare T
The affordable application of formal methods to software engineering