Topology‚ computer science and the mathematics of convergence - Roscoe, A (1991)