Markoski, B., Hotomski, P., Malbaški, D., & Obradović, D. (2010). Dijkstra’s interpretation of the approach to solving a problem of program correctness. Yugoslav Journal of Operations Research, 20(2), 229–236. https://doi.org/10.2298/YJOR1002229M