Gunther Schmidt Programs as Partial Graphs II: Recursion. 159-179 1981 15 Theor. Comput. Sci. db/journals/tcs/tcs15.html#Schmidt81a