1Edsger W. Dijkstra – Reasoning About Programs [video] (opens in new tab)(youtube.com)3rosseitsa1y ago0