Strong Bisimulation of State Automata - David B. Benson; Ofer Ben-Shachar (LICS, 1986)

Bisimulation of Automata - David B. Benson; Ofer Ben-Shachar (Inf. Comput., 1988)