Kung-Kiu Lau Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. LOPSTR Lecture Notes in Computer Science 2042 Springer 2001 3-540-42127-0 db/conf/lopstr/lopstr2000lncs.html