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