Bardeen-Cooper-Schrieffer superconductivity