Markoski, ....
(2016).
Dijkstra's interpretation of the approach to solving a problem of program correctness.
<em>Yugoslav Journal Of Operations Research, 20</em>(2).
Retrieved from <a href="" target="_new"></a>