Automated Verification of Equivalence of Protocol Machines. - Teruo Higashino; Kiyoshi Ninomiya; Tomohisa Kimoto; Kenichi Taniguchi; Masaaki Mori (PSTV, 1989)