Premkumar T. Devanbu Mark A. Jones The Use of Description Logics in KBSE Systems: Experience Report. 23-35 1994 ICSE http://portal.acm.org/citation.cfm?id=257734.257739 db/conf/icse/icse94.html#DevanbuJ94