E.W.Dijkstra Archive: The notational conventions I adopted, and why (EWD 1300)cs.utexas.edu2 pointstosh9 days ago