Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
ISBN: 0471930164
Buy on Amazon
Found in 1 comment on Hacker News
mannykannot · 2015-10-22 · Original thread
This wasn't my introduction to these methods, but I wish it was:

http://www.amazon.com/Error-Free-Software-Know-How-Correctne...

Fresh book recommendations delivered straight to your inbox every Thursday.