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