Edsger W. Dijkstra: The notational conventions I adopted, and why (2000)cs.utexas.edu3 pointstosh7 years ago