John Penix Perry Alexander Efficient Specification-Based Component Retrieval. 139-170 1999 6 Autom. Softw. Eng. 2 db/journals/ase/ase6.html#PenixA99