An Early Program Proof by Alan Turing

F. L. Norris, C. B. Jones

The Emperor's Old Clothes

Charles Antony Richard Hoare

Structure and Interpretation of Computer Programs

Harold Abelson, Gerald Jay Sussman, Julie Sussman