Yishai A. Feldman Leon Gendler Discern: Towards the Automatic Discovery of Software Contracts. 90-99 2006 conf/sefm/2006 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.16 db/conf/sefm/sefm2006.html#FeldmanG06