Gilles Barthe Peter Dybjer Luis Pinto João Saraiva Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures APPSEM Lecture Notes in Computer Science 2395 Springer 2002 3-540-44044-5 db/conf/ac/appsem2000.html