Zdenek Sawa, Petr Jancar: P-Hardness of Equivalence Testing on Finite-State Processes. SOFSEM 2001: 326-335