[PPT] - Verification of Parallel Programs with the Owicki-Gries and PowerPoint Presentation