A concise proof of the stable model structure on symmetric spectra - Cary Malkiewich; Maru Sarazola (2024)