Francesco Parisi-Presicce Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers WADT Lecture Notes in Computer Science 1376 Springer 1997 3-540-64299-4 db/conf/wadt/wadt97.html