Alves, Florido, Mackie, Sinot, 2008. Minimality in a Linear Calculus with Iteration 204.. https://doi.org/10.1016/j.entcs.2008.03.060