Specification Matching of Software Components (1996)

by Amy Moormann Zaremski, Jeannette M. Wing
Venue:ACM Transactions on Software Engineering and Methodology