Topology for computing (Cambridge, UK ; | New York : Cambridge University Press, 2005)