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