Logic algebra and databases - Gray, Peter M. D. (Chichester : Ellis Horwood Ltd., 1981)