[1xdevnet]

Fairly certain it is Dijkstra, in his own handwriting in 1984.

https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD898... https://www.cs.utexas.edu/~EWD/ewd08xx/EWD898.PDF