International Workshop on Logic Programming Synthesis and Transformation.International Workashop on Logic programm Synthesis and Transformation(1991 : University of Manchester)：Logic program synthesis and transition.Springer,1991.
Leuschel, Michael..Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /.Springer,,c2003..
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /
Pettorossi, A..Logic based program synthesis and transformation : 11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /.Springer,,c2002..
