Murali Sitaraman Lonnie R. Welch Douglas E. Harms On Specification of Reusable Software Components. 207-229 1993 3 International Journal of Software Engineering and Knowledge Engineering 2 http://dx.doi.org/10.1142/S0218194093000100 db/journals/ijseke/ijseke3.html#SitaramanWH93