The completions of metric ANR's and homotopy dense subsets - Sakai, Katsuro.