First-principles derivation of density-functional formalism for quenched-annealed systems | Publicación