1.
Nielsen M, Sunesen K. Behavioural Equivalence for Infinite Systems—Partially Decidable!. BRICS [Internet]. 1995Nov.25 [cited 2020Dec.4];2(55). Available from: https://tidsskrift.dk/brics/article/view/19956