Logic based program synthesis and transformation 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
LOPSTR 2002 (2002 Madrid, Spain) Michael Leuschel
Berlin Springer New York c2003
Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2664 )(Obténgalo)