https://doi.org/10.1137/040603589 Used in https://www.sciencedirect.com/science/article/pii/S0303264710000407#app1
https://doi.org/10.1137/040603589
Used in https://www.sciencedirect.com/science/article/pii/S0303264710000407#app1