@phdthesis{Poskitt13a, author = {Christopher M. Poskitt}, title = {Verification of Graph Programs}, school = {University of York}, year = {2013}, urltopdf = {http://etheses.whiterose.ac.uk/4700/}, }