1. Alexandroff, P. (1961). Elementary Concepts of Topology. New York, NY: Dover Publications.
2. Arfken, G.B., Weber, H.J. & Harris, F.E. (2005). Mathematical Methods for Physicists, Sixth Edition: A Comprehensive Guide (6th ed.). Academic Press.
3. Arnold, V.I. (1997). Mathematical Methods of Classical Mechanics. Springer.
4. Ballarin, C. (2004). Locales and locale expressions in Isabelle/Isar. In S. Berardi, M. Coppo and F. Damiani (Eds.), Types for Proofs and Programs: International Workshop, TYPES 2003, Revised Selected Papers, Torino, Italy, April 30–May 4, 2003 (pp. 34–50). Berlin, Heidelberg: Springer.
5. Ontological Modularity and Spatial Diversity