Nielsen, M.; Sunesen, K. Behavioural Equivalence for Infinite Systems—Partially Decidable!. BRICS 1995, 2.