Markoski, B..
" Resolution methods in proving the program correctness" <em>Yugoslav Journal of Operations Research</em> [Online], Volume 17 Number 2 (11 October 2016)