Flick, Nils Erik. 2016. “Proving Correctness of Graph Programs Relative to Recursively Nested Conditions”. Electronic Communications of the EASST 73 (April). https://doi.org/10.14279/tuj.eceasst.73.1037.