1. Blute, R., Scott, P.: Category Theory for Linear Logicians. In: Ehrhard, T., Jirard, J., Ruet, P., Scott, P. (eds.) Linear Logic in Computer Science, pp. 3–64. Cambridge University Press (2005)
2. Lecture Notes in Artificial Intelligence;G. Cattaneo,2002
3. Dugundji, J.: Topology. Allyn and Bacon, Boston (1966)
4. Engelking, R.: General Topology. Heldermann Verlag (1989)
5. Gomolińska, A.: Approximation Spaces Based on Relations of Similarity and Dissimilarity of Objects. Fundamenta Informaticae 79, 319–333 (2007)