Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations by Walter Guttmann Oct 12