Structural proof theory - Negri, Sara, 1967- (University Press, 2001)