Markoski, B..
"Dijkstra's interpretation of the approach to solving a problem of program correctness" <em>Yugoslav Journal of Operations Research</em> [Online], Volume 20 Number 2 (11 October 2016)