An Automated Analysis of Ping-Pong Interactions in E-mail Services. - Anne Bergeron; Jean-Christophe Manzoni (TACAS, 1999)