Markoski, B. et al. 2007. Resolution methods in proving the program correctness. Yugoslav Journal of Operations Research. 17, 2 (Sep. 2007), 275–285. DOI:https://doi.org/10.2298/YJOR0702275M.