Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24 - 28, 2000 ; selected papers (Springer, 2001)