Proving Darwin by Gregory Chaitin & Gregory J. Chaitin