Bisimulation of automata (1988)

by D B Benson, O Ben-Shachar
Venue:Information and Computation