Sunesen, K. Further Results on Partial Order Equivalences on Infinite Systems. BRICS 1998, 5.