Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness Branko Markoski, Petar Hotomski, Dušan Malbaški, Danilo Obradović (2010) The Yugoslav Journal of Operations Research