# Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations

> 2015 doctoral thesis by Walter Guttmann at University of Canterbury

**Wikidata**: [Q112576341](https://www.wikidata.org/wiki/Q112576341)  
**Source**: https://4ort.xyz/entity/isabelle-hol-theories-of-algebras-for-iteration-infinite-executions-and-correctness-of-sequential-computations