MARKOSKI, Branko; HOTOMSKI, Petar; MALBAŠKI, Dušan; OBRADOVIĆ, Danilo. Dijkstra’s interpretation of the approach to solving a problem of program correctness. Yugoslav Journal of Operations Research, [S. l.], v. 20, n. 2, p. 229–236, 2010. DOI: 10.2298/YJOR1002229M. Disponível em: https://yujor.erc.fon.bg.ac.rs/index.php/yujor/article/view/295. Acesso em: 25 aug. 2025.