Gunther Schmidt Programs as Partial Graphs I: Flow Equivalence and Correctness. 1-25 1981 15 Theor. Comput. Sci. db/journals/tcs/tcs15.html#Schmidt81