This book presents a systematic analysis of the formalism of quantum electrodynamics (QED) in strong external fields that give rise to an unstable vacuum and pair creation. The developed approach is applicable to any quantum field theory with unstable vacuum.