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