Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures - Egon Börger, Antonio Cisternino ((Lecture Notes in Computer Science))