Author: TACAS '99 (1999 Amsterdam, Netherlands)