The set model for database and information systems - Gilula, M. M. (Addison-Wesley, 1994)