G. Herden and A. Pallack, “Useful topologies and separable systems”, Appl. Gen. Topol., vol. 1, no. 1, pp. 61–81, Oct. 2000.