Sunesen, Kim. “Further Results on Partial Order Equivalences on Infinite Systems”. BRICS Report Series 5, no. 6 (January 6, 1998). Accessed April 19, 2024. https://tidsskrift.dk/brics/article/view/19278.