Artur Zawlocki Grzegorz Marczynski Piotr Kosiuczenko Property Preserving Redesign of Specifications. 439-455 2005 conf/calco/2005 CALCO http://dx.doi.org/10.1007/11548133_28 db/conf/calco/calco2005.html#ZawlockiMK05