Markoski, Branko, Petar Hotomski, Dušan Malbaški, and Danilo Obradović. 2010. “Dijkstra’s Interpretation of the Approach to Solving a Problem of Program Correctness”. Yugoslav Journal of Operations Research 20 (2):229-36. https://doi.org/10.2298/YJOR1002229M.