1. Blass A., Sagan B.E.: Möbius functions of lattices. Adv. Math. 127, 94–123 (1997)
2. Bunge M.: Internal presheaves toposes. Cahiers de topologie et géométrie différentielle catégoriques 18(3), 291–330 (1977)
3. Bures, D.: Abelian Subalgebras of Von Neumann Algebras. Number 110 in Memoirs. American Mathematical Society, Providence (1971)
4. Davidson K.R.: C*-algebras by example. American Mathematical Society, Providence (1991)
5. Döring, A., Isham, C.J.: Topos methods in the foundations of physics. In: Halvorson, H. (ed.) Deep Beauty. Cambridge University Press, Cambridge (2011)