Jeannet, B. (2000) “Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs”, BRICS Report Series, 7(38). doi: 10.7146/brics.v7i38.20204.