Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers - Fiadeiro, Jose L.; Fiadeiro, Jose L. (Springer Berlin Heidelberg : Imprint: Springer, 1999)