Rigorous Quantum Field Theory by Anne Boutet de Monvel & Detlev Buchholz