Flick, N. E. Proving Correctness of Graph Programs Relative to Recursively Nested Conditions. ECEASST 2016, 73.