I'm actually a pretty big Dijkstra fanboy after having taken the time to read through most of the archive the submission is from. For whatever reason, I suddenl

I'm actually a pretty big Dijkstra fanboy after having taken the time to read through most of the archive the submission is from. For whatever reason, I suddenly remembered this paper, and yeah it does seem apropos so I shared it.