María Alpuente Marco Comini Santiago Escobar Moreno Falaschi Salvador Lucas Abstract Diagnosis of Functional Programs. 1-16 2002 conf/lopstr/2002 LOPSTR http://link.springer.de/link/service/series/0558/bibs/2664/26640001.htm db/conf/lopstr/lopstr2002.html#AlpuenteCEFL02