David B. Benson Ofer Ben-Shachar Strong Bisimulation of State Automata 77-81 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#BensonB86