The Limits of Correctness in Computers (1985) [pdf] | Hacker News Reader