Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures - Börger, Egon; Cisternino, Antonio (Springer Berlin Heidelberg, 2008)