Rance Cleaveland, Oleg Sokolsky. Equivalence and Preorder Checking for Finite-State Systems. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 391-424, North-Holland / Elsevier, 2001. [doi]
Abstract is missing.