S. Stöckler: "Boolesche Algebra"; in: "Informatik", Springer, Vienna, 1990, ISBN: 3-211-82232-1, 87 - 104.