Logic based program synthesis and transformation 8th international workshop, LOPSTR '98, Manchester, UK, June 15 - 19, 1998 ; selected papers (Springer, 1998)