Resolution methods in proving the program correctness - Markoski, B. (Yugoslav Journal of Operations Research, 2016)