1. Cachera, D., Morin-Allory, K.: Proving parameterized systems: the use of a widening operator and pseudo-pipelines in polyhedral logic. Technical report, TIMA (April 2005)
2. Cachera, D., Morin-Allory, K.: Verification of safety properties for parameterized regular systems. Trans. on Embedded Computing Sys. 4(2), 228–266 (2005)
3. Mauras, C.: Alpha: un langage équationnel pour la conception et la programmation d’architectures systoliques. PhD thesis, Univ. Rennes I, France (December 1989)
4. Wilde, D.K.: A library for doing polyhedral operations. Technical Report 785, IRISA, Rennes, France (January 1993)
5. Wilde, D.K.: The Alpha language. Technical Report 999, IRISA, Rennes, France (January 1994)