Supersymmetric instantons and topological quantum field theory

We present an action which generates the supersymmetric self-dual equations corresponding to euclidean super Yang-Mills theory in four dimensions. By adding additional constraint fields with new local symmetries, the classical equations of this system are the usual super self-dual equations when a gauge is chosen for the constraint fields. This construction is a supersymmetric generalization of the Labastida-Pernici action which corresponds to a gauge unfixed version of Witten's topological quantum field theory. We discuss some topological prospects for this model, and the role of supersymmetric instantons in Donaldson theory.