Amy Moormann Zaremski Jeannette M. Wing Specification Matching of Software Components. 333-369 1997 6 ACM Trans. Softw. Eng. Methodol. 4 db/journals/tosem/tosem6.html#ZaremskiW97 http://doi.acm.org/10.1145/261640.261641