Bardeen-Cooper-Schrieffer theory