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