Communications of the ACM has published a reflective article by Sir Tony Hoare in which he looks back forty years to one of the foundational articles in computer science.  It includes a lot of interesting snippets, including this:

The phenomenon that triggered interest in software verification from the software industry was totally unpredicted and unpredictable. It was the attack of the hacker…

Well worth reading…