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