Author: Portugal) ETAPS 98 (1998 : Lisbon