Semiconvection: theoryH. C. SpruitA&A, 552 (2013) A76DOI: https://doi.org/10.1051/0004-6361/201220575