The Mathematical apparatus for quantum theories based on the theory of Boolean lattices. - Nikodym, Otton Martin (Springer-Verlag, 1966)