Relational Minimum Spanning Tree Algorithms. - Walter Guttmann; Nicolas Robinson-O'Brien (Arch. Formal Proofs, 2020)

Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm. - Walter Guttmann; Nicolas Robinson-O'Brien (RAMiCS, 2021)