The high-mass end of the red sequence atz∼ 0.55 from SDSS-III/BOSS: completeness, bimodality and luminosity function | Publicación