• An elementary and unified approach to program correctness 

      Bohórquez, Jaime (Springer, 2009)
      We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative style of programming ...