Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / - Fiadeiro, José Luiz, (Lecture notes in computer science ;)