Eugene J. Rollins Jeannette M. Wing Specifications as Search Keys for Software Libraries. 173-187 1991 ICLP db/conf/iclp/iclp91.html#RollinsW91