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