"Specifications as Search Keys for Software Libraries."

Eugene J. Rollins, Jeannette M. Wing (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics