9783540662464

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2-4, 1998 Selected Papers (Lecture Notes in Computer Science, 1589)