Conference proceedings.
Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004 Verona, Italy, August 26-28, 2004 : revised selected papers. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.