Kleene Algebra with Tests and Demonic Refinement Algebras by Alasdair Armstrong, Victor B. F. Gomes 🌐 and Georg Struth 🌐 Jan 23