Guttmann, Walter2017-12-052017-12-052015http://hdl.handle.net/10092/14735http://dx.doi.org/10.26021/2862This technical report contains Isabelle/HOL theories that describe algebras for iteration, infinite executions and correctness of sequential computations. The results are explained in a separate document. The following files are available: Technical Report Isabelle/HOL theory filesenAll Right ReservedTheses / Dissertations