Markoski, B. (2007) “Resolution methods in proving the program correctness”, Yugoslav Journal of Operations Research, 17(2), pp. 275–285. doi: 10.2298/YJOR0702275M.