Software component search (1996)

by J Goguen, D Nguyen, J Meseguer, Zhang Luqi, D, V Berzins
Venue:Journal of Systems Integration