Author: TACAS '98 (1998 Lisbon, Portugal)