Vitalsource Technologies, Inc. Duality Theories For Boolean Algebras With Operators