Verifying minimum spanning tree algorithms with Stone relation algebras - Guttmann, Walter (Journal of logical and algebraic methods in programming, 2018)