Found in 1 comment on Hacker News
KevinMS · 2010-08-30 · Original thread
This stuff is over my head, and I might be stating the obvious to you, or this might be useless for Haskell, but because you didn't mention it explicitly:

http://en.wikipedia.org/wiki/Cleanroom_Software_Engineering

http://www.amazon.com/Cleanroom-Software-Engineering-Technol...

Fresh book recommendations delivered straight to your inbox every Thursday.