Nielsen, Mogens, and Kim Sunesen. “Behavioural Equivalence for Infinite Systems—Partially Decidable!”. BRICS Report Series 2, no. 55 (November 25, 1995). Accessed February 10, 2026. https://tidsskrift.dk/brics/article/view/19956.