How did software get so reliable without proof? (1996) [pdf] | Heykuki News