Wikipedia: "McCarthy 91 Function"
Read the Wikipedia article for a description of the McCarthy 91 function, an example of a recursive function used in computer science as a test case for the performance of formal verification techniques and methods.
Click https://en.wikipedia.org/wiki/McCarthy_91_function link to open resource.