Logic based program synthesis and transformation : 8th international workshop ; selected papers - Flener, Pierre (Herausgeber); LOPSTR (8 : 1998 : Manchester) (Lecture notes in computer science, 1999)