C. Poskitt and D. Plump, “Verifying Total Correctness of Graph Programs”, ECEASST, vol. 61, Jun. 2013.