@Book{Whi61, Author = "Whitesitt, J.E.", Year = "1961", Title = "{Boolean Algebra and Its Applications}", Publisher = "Addison-Wesley", Comment = "TPTPRef, Chapter 2" }