Analysis and transformation of proof procedures. - David Andre De Waal (1994)