Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Kung-Kiu Lau ((Lecture Notes in Computer Science))