Cardoso, L. T. Proof of Renormalizability of Scalar Field Theories Using the Epstein-Glaser Scheme and Techniques of Microlocal Analysis. JAP 2017, 13, 5004-5014.