Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach | Publicación