The general idea is that you develop the algorithm and the proof of correctness for the algorithm at the same time. The two views are duals in a certain sense, and each gives you insight about the other.

I would recommend the first 2-3 chapters to start.