"EWD1300: The Notational Conventions I Adopted, and Why."

Edsger W. Dijkstra (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics