Author: TACAS 2001 (2001 Genoa, Italy)