Invariance and nondeterminacy. Note EWD871 (1984)

by E W Dijkstra