Amy Moormann Zaremski Jeannette M. Wing Specification Matching of Software Components. 6-17 1995 SIGSOFT FSE http://doi.acm.org/10.1145/222124.222135 db/conf/sigsoft/fse95.html#ZaremskiW95