Markoski, B..
" Dijkstra's interpretation of the approach to solving a problem of program correctness." <em>Yugoslav Journal of Operations Research</em> [Online], 20.2 (2010): n. pag. Web. 15 Apr. 2025