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