"QED: A proof of renormalizability" (Springer, 1988)