Erik De Haas

• Logics for OO information systems