Nr. 39 (1996): RS-39 On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey