  We develop an analytic framework that combines the compactness theory of
Gromov for J-holomorphic curves with that of Uhlenbeck for ASD connections.
Compactness, regularity and removal of singularity theorems are discussed.
