Logic, algebra and databases - Gray, Peter M. D. (Horwood, 1984)