Χρήση λογικών περιγραφής για την παράσταση αντικειμένων διεπαφής : - Τζιβιτζής, Σταύρος (Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών, 1998)