I came here to recommend Manber's book also. It emphasizes developing algorithms and their correctness proofs together -- a great technique. The design and the

I came here to recommend Manber's book also. It emphasizes developing algorithms and their correctness proofs together -- a great technique. The design and the proof naturally inform each other. This approach ought to be better known.