Yoram Hirshfeld;Faron Moller
-;-
A characterization of regular expressions under bisimulation
Journal of the ACM (JACM)