Maayan Goldstein Yishai A. Feldman Shmuel S. Tyszberowicz Refactoring with Contracts. 53-64 2006 conf/agiledc/2006 AGILE http://doi.ieeecomputersociety.org/10.1109/AGILE.2006.44 db/conf/agiledc/agile2006.html#GoldsteinFT06