Jeannet, Bertrand. “Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs”. BRICS Report Series 7, no. 38 (June 8, 2000). Accessed April 28, 2024. https://tidsskrift.dk/brics/article/view/20204.