Logic, Algebra and Databases - Gray, Peter M.D (John Wiley, 1984)