The formalism of quantum electrodynamics, using a special perturbation theory with matrix propagators, is systematically analyzed. The authors propose solutions for real pair-creating fields, discussing the general form for the causal function and other Green functions.