Specifications as searchkeys for software libraries (1991)

by E J ROLLINS, J M WING
Venue:In Proceedings of the 8th International Conference on Logic Programming