Logical Introduction to Databases - Grant, John (Harcourt Brace Janovich Publishers, 1987)