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

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://en.wikipedia.org/wiki/Cleanroom_Software_Engineering http://www.amazon.com/Cleanroom-Software-Engineering-Technology-Process/dp/0201854805/ref=sr_1_1?ie=UTF8&s=books&qid=1283144221&sr=8-1 http://www.amazon.com/Cleanroom-Software-Engineering-Technol...