Books by Portugal) ETAPS 98 (1998 : Lisbon