A Rigorous Derivation of a Boltzmann System for a Mixture of Hard-Sphere Gases. - Ioakeim Ampatzoglou; Joseph K. Miller; Natasa Pavlovic (SIAM J. Math. Anal., 2022)