I had written this in 2014 as a short introduction to Dijkstra's EWD notes. https://muratbuffalo.blogspot.com/2014/09/revisiting-ewds.html https://muratbuffalo.

I had written this in 2014 as a short introduction to Dijkstra's EWD notes. https://muratbuffalo.blogspot.com/2014/09/revisiting-ewds.html https://muratbuffalo.blogspot.com/2014/09/revisiting-ewds.ht...