Markoski, B.
2016 Oct 11.  Resolution methods in proving the program correctness. Yugoslav Journal of Operations Research. [Online] 17:2