Egon Börger Antonio Cisternino Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures 5316 2008 978-3-540-89761-3 Lipari Summer School Lecture Notes in Computer Science Springer db/conf/lipari/lipari2007.html