Dijkstra: Reasoning About Programs (1990) [video] | Dark Hacker News