Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers - Francesco Parisi Presicce ((Lecture Notes in Computer Science))