Minimizing the Number of Transitions with Respect to Observation Equivalence. - Jaana Eloranta (BIT, 1991)

Essential Transitions to Bisimulation Equivalences. - Jaana Eloranta; Martti Tienari; Antti Valmari (Theor. Comput. Sci., 1997)