K. Sunesen, “Further Results on Partial Order Equivalences on Infinite Systems”, BRICS, bd. 5, nr. 6, jan. 1998.