How did software get so reliable without proof? (1996)