Goswami A., Proper spaces are spectral, Applied General Topology 24 (1), pp. 95