Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers - Hutchison, David (Lecture Notes in Computer Science,, 2009)