On an exercise of Tony Hoare’s. Available on the Web as www.cs.utexas.edu/users/EWD/ewd10xx/EWD1062.PDF (1989)

by E W Dijkstra