Computation of Recursive Definitions
Links
References
Z.
Manna, Mathematical Theory of Computation, Chap. 5, Mc. Graw-Hill,
1974.
J.-C. Raoult and J. Vuillemin,
"Operational and semantic equivalence between recursive programs",
J. of the Assoc. of Compu. Mach. 27(4), pp. 772-796.