The Limits of Correctness in Computers (1985)

The Limits of Correctness (1985)