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