In a paper by McCarthy [1963] we find a formalism that enhances the practical aspect of the recursive-function concept, while preserving and improving its mathematical clarity.
McCarthy's [1963] work offers a formalism that enhances the practical use of the recursive-function concept, while maintaining and enhancing its mathematical rigor.