Broström, Peter, and Kaj Holmberg. “Compatible Weights and Valid Cycles in Non-Spanning OSPF Routing Patterns”. Algorithmic Operations Research, vol. 4, no. 1, Feb. 2009, pp. Pages 19 - 35, https://journals.lib.unb.ca/index.php/AOR/article/view/4175.