Fairly certain it is Dijkstra, in his own handwriting in 1984. https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD898.html https://www.cs.utexas.edu/~EWD

Fairly certain it is Dijkstra, in his own handwriting in 1984. https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD898.html https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD898... https://www.cs.utexas.edu/~EWD/ewd08xx/EWD898.PDF https://www.cs.utexas.edu/~EWD/ewd08xx/EWD898.PDF