Flick, Nils Erik (2016) Proving correctness of graph programs relative to recursively nested conditions. PhD, Universität Oldenburg.