A Discipline of Programming
by Edsger W. Dijkstra
Read this book on Feynman