Analysis and transformation of proof procedures.
De Waal, David Andre.