Manyebook
Hugh Darwen
Databases, Types, and the Relational Model