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