Heavy-particle quantum electrodynamics

The quantum electrodynamic formalism is presented for the systematic and exact in $Z\alpha$ derivation of nuclear recoil corrections in hydrogenic systems.