The paper by Edsger Dijkstra was seen here.