Logic-based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers - Pettorossi, Alberto (Springer, 2002)