Markoski, B. et al. 2010. Dijkstra’s interpretation of the approach to solving a problem of program correctness. Yugoslav Journal of Operations Research. 20, 2 (Sep. 2010), 229–236. DOI:https://doi.org/10.2298/YJOR1002229M.