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