 The original formulation of general  recursive functions can be  found in Gödel 1934, which built on a suggestion by Herbrand. In  Kleene 1936 a simpler definition was given and in Kleene 1943 the  standard form which uses the so-called minimization or  \(\mu\)-operator was introduced. For more information, see the entry  on  recursive functions.