Markoski, B.. " Resolution methods in proving the program correctness." Yugoslav Journal of Operations Research [Online], 17.2 (2007): n. pag. Web. 22 Apr. 2025