[PPT] - Encoding Induction in Correctness Proofs of Program Transformations PowerPoint Presentation