Logic based program synthesis and transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers / - Pettorossi, A. (Lecture notes in computer science,)