Nielsen, M. and Sunesen, K. (1995) “Behavioural Equivalence for Infinite Systems—Partially Decidable!”, BRICS Report Series, 2(55). doi: 10.7146/brics.v2i55.19956.