EWD1300: The notational conventions I adopted, and why (0)

by E W Dijkstra
Venue:Formal Asp. Comput