Hüttel, Hans, og Sandeep Shukla. “On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey”. BRICS Report Series, bd. 3, nr. 39, juni 1996, doi:10.7146/brics.v3i39.20021.