[PPT] - A double-pushout approach for modeling pointer redirection PowerPoint Presentation