Hüttel, H.; Shukla, S. On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey. BRICS 1996, 3.