Markoski, B..
" Resolution methods in proving the program correctness." <em>Yugoslav Journal of Operations Research</em> [Online], 17.2 (2007): n. pag. Web. 14 Dec. 2025