Markoski, B. (2010) “Dijkstra’s interpretation of the approach to solving a problem of program correctness”, Yugoslav Journal of Operations Research, 20(2), pp. 229–236. doi: 10.2298/YJOR1002229M.