Databases, Types And The Relational Model by Chris J. Date & Hugh Darwen