Markoski, B.; Hotomski, P.; Malbaški, D.; Obradović, D. Dijkstra’s Interpretation of the Approach to Solving a Problem of Program Correctness. YUJOR 2010, 20, 229-236.