Eric Madelaine Didier Vergamini Tool Demonstration: Tools for Process Algebras. 463-466 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#MadelaineV91