Proximity effect in a superconductor–topological insulator heterostructure based on first principles | Publicación