Author: TACAS '97 (1997 Enschede, Netherlands)