Proof theory: sequent calculi and related formalisms - Bimbo, Katalin (CRC Press, 2015)