Markoski, Branko, Petar Hotomski, Dušan Malbaški, and Danilo Obradović. 2007. “Resolution Methods in Proving the Program Correctness”. Yugoslav Journal of Operations Research 17 (2):275-85. https://doi.org/10.2298/YJOR0702275M.