Fue formulado por Edsger Dijkstra.