Author: FoSSaCS '98 (1998 Lisbon, Portugal)