Recursion and the Y Combinator
en.wikipedia.org