Paolo Camurati Fulvio Corno Paolo Prinetto Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation. 31-44 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#CamuratiCP93