Markoski, B..
"Dijkstra's interpretation of the approach to solving a problem of program correctness." <em>Yugoslav Journal of Operations Research</em> [Online], 20.2 (2010): n. pag. Web. 16 May. 2024