Wolfgang Goerigk Friedemann H. Simon Towards Rigorous Compiler Implementation Verification. 62-73 1999 conf/collaboration/1999 Collaboration between Human and Artificial Societies db/conf/collaboration/collaboration1999.html#GoerigkS99