@inproceedings{Poskitt-Plump13a, author = {Christopher M. Poskitt and Detlef Plump}, title = {Verifying Total Correctness of Graph Programs}, booktitle = {Selected Revised Papers, Graph Computation Models (GCM 2012)}, publisher = {Electronic Communications of the EASST}, volume = {61}, year = {2013}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/PoskittPlump.GCM-ECEASST.2013.pdf} }