Recent Trends in Algebraic Development Techniques1998

12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science)

by Francesco Parisi-Presicce