https://celebratio.org/Haken_W/article/794/ https://celebratio.org/Haken_W/article/794/ It was first published in 1976. It is _highly_ unlikely Dijkstra didn't

https://celebratio.org/Haken_W/article/794/ https://celebratio.org/Haken_W/article/794/ It was first published in 1976. It is _highly_ unlikely Dijkstra didn't know about it.