Poskitt, C.; Plump, D. Verifying Total Correctness of Graph Programs. eceasst 2013, 61.