Author: TACAS '96 (1996 Passau, Germany)