E.W.Dijkstra Archive: The notational conventions I adopted, and why (EWD 1300) cs.utexas.edu 2 points by tosh 18 hours ago · 0 comments Reader PiP Save No comments yet.