Anne Bergeron Jean-Christophe Manzoni An Automated Analysis of Ping-Pong Interactions in E-mail Services. 134-147 1999 conf/tacas/1999 TACAS http://link.springer.de/link/service/series/0558/bibs/1579/15790134.htm db/conf/tacas/tacas99.html#BergeronM99