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