B. Markoski, P. Hotomski, D. Malbaški, and D. Obradović, “Dijkstra’s interpretation of the approach to solving a problem of program correctness”, YUJOR, vol. 20, no. 2, pp. 229–236, Sep. 2010.