Boolean algebra and its users - South, G.F. (VNR new mathematics library, 1974)