[finite-model-theory] IEEE Conf.on Software Maintenance Italy,Florence, ICSM2001