MARKOSKI, Branko; HOTOMSKI, Petar; MALBAŠKI, Dušan; OBRADOVIĆ, Danilo. Resolution methods in proving the program correctness. Yugoslav Journal of Operations Research, [S. l.], v. 17, n. 2, p. 275–285, 2007. DOI: 10.2298/YJOR0702275M. Disponível em: https://yujor.erc.fon.bg.ac.rs/index.php/yujor/article/view/229. Acesso em: 26 aug. 2025.