Found in 1 comment on Hacker News
sanxiyn · 2012-05-23 · Original thread
I am quite aware of the problem of specification.

For others: I learned a lot from reading the book "Mechanizing Proof". No knowledge of formal methods is needed (but you will learn something about formal methods while reading). I can't recommend the book highly enough.

http://www.amazon.com/Mechanizing-Proof-Computing-Inside-Tec...

Fresh book recommendations delivered straight to your inbox every Thursday.