1. Datastructures and algorithms;Aho,1987
2. Time complexity of programs in type theory;Bjerner,1989
3. Computability, complexity and languages;Davis,1983
4. A. Di Concilio, Spazi quasimetrici e topologie ad essi associate, Accademia di Scienze Fisiche e Matematiche, Lettere ed Arti in Napoli, Serie 4 - Vol. XXXVIII, 1971.
5. Topology;Dugundji,1966