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...