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