add Edsger W. Dijkstra about proving program correctness