Databases, Types and the Relational Model: The Third Manifesto

C.J. Date , Hugh Darwen