Boolean Algebra and its applications - Whitesitt, Eldon J (Addison Wesley, 1962)