Markoski B, Hotomski P, Malbaški D, Obradović D. Dijkstra’s interpretation of the approach to solving a problem of program correctness. YUJOR [Internet]. 2010 Sep. 1 [cited 2025 Aug. 26];20(2):229-36. Available from: https://yujor.erc.fon.bg.ac.rs/index.php/yujor/article/view/295