H. Ehrig, M. Gajewsky, U. Wolter (auth.), Francesco Parisi Presicce (eds.)

Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT’97 Tarquinia, Italy, June 3–7, 1997 Selected Papers