Hehner, E. C. R. (1993). Recursive Definition. In A Practical Theory of Programming (pp. 91–101). Springer New York. https://doi.org/10.1007/978-1-4419-8596-5_6
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.