K. Sunesen, “Further Results on Partial Order Equivalences on Infinite Systems”, BRICS, vol. 5, no. 6, Jan. 1998.