Markoski, B., Hotomski, P., Malbaški, D., & Obradović, D. (2007). Resolution methods in proving the program correctness. Yugoslav Journal of Operations Research, 17(2), 275–285. https://doi.org/10.2298/YJOR0702275M