[1]
M. Nielsen and K. Sunesen, “Behavioural Equivalence for Infinite Systems—Partially Decidable!”, BRICS, vol. 2, no. 55, Nov. 1995.