Poskitt, C. and Plump, D. (2013) “Verifying Total Correctness of Graph Programs”, Electronic Communications of the EASST, 61. doi: 10.14279/tuj.eceasst.61.827.