Flick, N.E. 2016. Proving Correctness of Graph Programs Relative to Recursively Nested Conditions. Electronic Communications of the EASST. 73, (Apr. 2016). DOI:https://doi.org/10.14279/tuj.eceasst.73.1037.