Logic based program synthesis and transformation 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17 - 20, 2002 ; proceedings (Springer, 2003)
Includes bibliographical references and index