Markoski, Branko, et al. “Dijkstra’s Interpretation of the Approach to Solving a Problem of Program Correctness”. Yugoslav Journal of Operations Research, vol. 20, no. 2, Sept. 2010, pp. 229-36, doi:10.2298/YJOR1002229M.