Los pioneros en este campo fueron Edsger Dijkstra, Per Brinch Hansen, y C.