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