Yatao Xu Tanja Grubba On computably locally compact Hausdorff spaces. 101-117 2009 19 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129508007366 db/journals/mscs/mscs19.html#XuG09