A formalism for distorted wave impulse approximation calculations of the A(π+,2p)B reaction to discrete states in nucleus B is described. Assuming that the π+ capture occurs on a deuteronlike ...