Hacker News new | ask | show | jobs
Edsger W. Dijkstra – Reasoning About Programs [video] (youtube.com)
3 points by rosseitsa 447 days ago