Markoski, B.
(2016).
 Dijkstra's interpretation of the approach to solving a problem of program correctness.
<em>Yugoslav Journal Of Operations Research, 20</em>(2).
Retrieved from <a href="https://yujor.fon.bg.ac.rs/index.php/yujor/article/view/349" target="_new">https://yujor.fon.bg.ac.rs/index.php/yujor/article/view/349</a>