Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers (Springer, 1999)