M. Nielsen og K. Sunesen, “Behavioural Equivalence for Infinite Systems—Partially Decidable!”, BRICS, bd. 2, nr. 55, nov. 1995.