Translation, Reduction and Equivalence by David Pearce