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