Markoski, ....
2016 Oct 11. Dijkstra's interpretation of the approach to solving a problem of program correctness. Yugoslav Journal of Operations Research. [Online] 20:2