Markoski, Branko, Petar Hotomski, Dušan Malbaški, and Danilo Obradović. “Dijkstra’s Interpretation of the Approach to Solving a Problem of Program Correctness”. Yugoslav Journal of Operations Research 20, no. 2 (September 1, 2010): 229–236. Accessed August 25, 2025. https://yujor.erc.fon.bg.ac.rs/index.php/yujor/article/view/295.