Sunesen, K. (1998). Further Results on Partial Order Equivalences on Infinite Systems. BRICS Report Series, 5(6). https://doi.org/10.7146/brics.v5i6.19278