[PPT] - Egon B orger Ambient Abstract State Machines Visiting ETH Z PowerPoint Presentation