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