The Algebra of Iterative Constructions. - Kevin Batz; Benjamin Lucien Kaminski; Lucas Kehrer; Gerwin Klein; Henning Urbat; Todd Schmid (Arch. Formal Proofs, 2026)