Sandro Etalle Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers 3573 2005 3-540-26655-0 LOPSTR Lecture Notes in Computer Science Springer db/conf/lopstr/lopstr2004.html