Y youtube.com Dijkstra: Reasoning About Programs (1990) [video] 70 points seycombi 8 years ago 3 comments