Effective zero-dimensionality for computable metric spaces - Robert Kenny (2015)