Proof Theory In Computer Science by Reinhard Kahle & P. Schroeder-Heister