The notational conventions I adopted, and why (2000)

by E W
Venue:EWD 1300). Available on the Web as www.cs.utexas.edu/users/EWD/ewd13xx/ EWD1300.PDF