Boolean algebra and its uses / - South, G. F. (Van Nostrand Reinhold Co., 1974)