Walter Guttmann: Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras. RAMiCS 2020: 134-151