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