Embedding proper homotopy types | Publicación