David Aspinall Daniel Winterstein Christoph Lüth Ahsan Fayyaz Proof general in Eclipse: system and architecture overview. 45-49 2006 ETX http://doi.acm.org/10.1145/1188835.1188845 conf/eclipse/2006 db/conf/eclipse/eclipse2006.html#AspinallWLF06