* vincent f hendricks thought 2 talk a crash course in reflection and expression new york automatic press / vip 2005 isbn 8799101378* r a demillo r j lipton and a j perlis social processes and proofs of theorems and programs communications of the acm vol