Ali Mili Rym Mili Roland Mittermeir Storing and Retrieving Software Components: A Refinement Based System. 91-100 1994 ICSE http://portal.acm.org/citation.cfm?id=257734.257748 db/conf/icse/icse94.html#MiliMM94