9 Apr
2019
9 Apr
'19
4:03 p.m.
On 4/9/19 11:09 AM, Michael Orlitzky wrote:
On 4/9/19 10:41 AM, jaro.reinders@gmail.com wrote:
I found it: https://www.cs.utexas.edu/~EWD/transcriptions/EWD13xx/EWD1300.html
Thank you, this is obviously also relevant, but it's not the one I'm remembering. The notation is the same, though, so this explains what I'm looking for (and is also an interesting read).
After the Dijkstra hint, I was able to track it down: http://www.the-magus.in/Publications/ewd.pdf Thanks!