Simple Linear Loops: Algebraic Invariants and Applications - Rida Ait El Manssour (arXiv.org)