Software component search (1996)

by Joseph Goguen, Doan Nguyen, José Meseguer, Du Zhang Luqi, Valdis Berzins
Venue:Journal of Systems Integration